Search Results - "Computer software Verification"

1

Verification : theory and practice : essays delivered to Zohar Manna on the occasion of his 64th birthday / Nachum Dershowitz (ed.)

Published 2003

Subjects: “...Computer software Verification....”

Book

2

Verification theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday / Nachum Dershowitz (ed.).

Published 2003

Subjects: “...Computer software Verification....”
Access to the SpringerLink online version restricted; authentication may be required:

Electronic

3

Automatic verification of sequential infinite-state processes / Olaf Burkart.

by Burkart, Olaf.
Published 1997

Subjects: “...Computer software Verification....”

Book

4

Are you on the software police's most wanted list?.

Published 2014

Subjects: “...Computer software Verification....”

Slide

5

Extensions of the UNITY methodology : compositionality, fairness, and probability in parallelism / Josyula Ramachandra Rao.

by Rao, Josyula R., 1962-
Published 1995

Subjects: “...Computer software Verification....”

Book

6

Automatic verification of sequential infinite-state processes Olaf Burkart.

by Burkart, Olaf.
Published 1997

Subjects: “...Computer software Verification....”
Access to the SpringerLink online version restricted; authentication may be required:

Electronic

7

Reference information for the software verification and validation process Dolores R. Wallace, Laura M. Ippolito, Barbara B. Cuthill.

by Wallace, Dolores R.
Published 1996

Subjects: “...Computer software Verification....”

Book

8

Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem / Patrice Godefroid.

by Godefroid, Patrice.
Published 1996

Subjects: “...Computer software Verification....”

Book

9

Formal methods and their role in digital systems validation for airborne systems John Rushby.

by Rushby, John.
Published 1995

Subjects: “...Computer software Verification....”

Book

10

Formal verification of an avionics microprocessor / Mandayam K. Srivas, Steven P. Miller.

by Srivas, Mandayam K.
Published 1995

Subjects: “...Computer software Verification....”

Book

11

Model checking software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005 : proceedings / Patrice Godefroid (ed.).

Published 2005

Subjects: “...Computer software Verification Congresses....”

Book

12

Computer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings / Werner Damm, Holger Hermanns (eds.).

Published 2007

Subjects: “...Computer software Verification Congresses....”

Book

13

Model checking software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 : proceedings / Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.).

Published 2008

Subjects: “...Computer software Verification Congresses....”

Book

14

Computer aided verification : 20th international conference, CAV 2008 : Princeton, NJ, USA, July 7-14, 2008 : proceedings / Aarti Gupta, Sharad Malik (eds.).

Published 2008

Subjects: “...Computer software Verification Congresses....”

Book

15

Software engineering reviews and audits / Boyd L. Summers.

by Summers, Boyd L.,
Published 2011

Subjects: “...Computer software Verification....”

Book

16

Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : proceedings / Antti Valmari (ed.).

Published 2006

Subjects: “...Computer software Verification Congresses....”

Book

17

Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings / Thomas Ball, Robert B. Jones (eds.).

Published 2006

Subjects: “...Computer software Verification Congresses....”

Book

18

Computer aided verification : fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings / G. v. Bochmann, D.K. Probst, eds.

Published 1993

Subjects: “...Computer software Verification Congresses....”

Book

19

Computer aided verification : 5th international conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 : proceedings / Costas Courcoubetis (ed.).

Published 1993

Subjects: “...Computer software Verification Congresses....”

Book

20

Computer aided verification : 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings / Rajeev Alur, Thomas A. Henzinger, eds.

Published 1996

Subjects: “...Computer software Verification Congresses....”

Book

Narrow Search