Suggested Topics within your search.
Suggested Topics within your search.
1
by McGettrick, Andrew D., 1944-
Published 1982
Subjects:
“...Computer programs Verification....”Published 1982
Book
2
3
Published 2017
Table of Contents:
“... of Software and Hardware -- Foundations of Verification -- Distributed and Networked Systems -- Synthesis...”
Book
4
Computer Aided Verification : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14...
by Gopalakrishnan, Ganesh.
Published 2011
Subjects:
“...Programming Techniques....”Published 2011
Book
5
Published 1982
Subjects:
“...Computer programs Verification....”
Book
6
7
Subjects:
“...Computer programs Verification....”
Book
8
9
Published 2015
Table of Contents:
“... in Graph Using SMT for Automatic Clock Routing -- Cutting the Mix -- The Inez Mathematical Programming...”
Book
10
Published 2015
Table of Contents:
“... -- Automatic Rootcausing for Program Equivalence Failures in Binaries -- Fine-Grained Caching of Verification...”
Book
11
Computer Aided Verification : 26th International Conference, CAV 2014, Held as Part of the Vienna...
Published 2014
Table of Contents:
“... Programs -- Concurrency -- Automatic Atomicity Verification for Clients of Concurrent Data Structures...”
Book
12
by Müller, Peter.
Published 2002
Table of Contents:
“... and Verification of Functional Behavior -- Modular Specification and Verification of Frame Properties -- Modular...”Published 2002
Book
13
Published 2007
Subjects:
“...Computer programs Verification Congresses....”
Book
14
Published 2005
Subjects:
“...Computer programs Verification Congresses....”
Book
15
Published 2002
Subjects:
“...Computer programs Verification Congresses....”Access to the SpringerLink online version restricted; authentication may be required:
Access to the SpringerLink online version restricted; authentication may be required:
Access to the SpringerLink online version restricted; authentication may be required:
Access to the SpringerLink online version restricted; authentication may be required:
Access to the SpringerLink online version restricted; authentication may be required:
Access to the SpringerLink online version restricted; authentication may be required:
Access to the SpringerLink online version restricted; authentication may be required:
Serial
16
by Müller, Peter.
Published 2002
Subjects:
“...Object-oriented programming (Computer science)...”Published 2002
Acess restricted ; authentication may be required:
Electronic
17
18
Published 2017
Table of Contents:
“... of Software and Hardware -- Foundations of Verification -- Distributed and Networked Systems -- Synthesis...”
Book
19
20
Published 2008
Subjects:
“...Computer programs Verification Congresses....”
Book