Proceedings of the second workshop on Automated formal methods - AFM '07
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781595938794

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Topology in PVS

Proceedings of the second workshop on Automated formal methods - AFM '07 ◽

10.1145/1345169.1345171 ◽

2007 ◽

Cited By ~ 9

Author(s):

David R Lester

Download Full-text

Model checking for the practical verificationist

Proceedings of the second workshop on Automated formal methods - AFM '07 ◽

10.1145/1345169.1345172 ◽

2007 ◽

Author(s):

Lee Pike

Keyword(s):

Model Checking

Download Full-text

Using SMT solvers to verify high-integrity programs

Proceedings of the second workshop on Automated formal methods - AFM '07 ◽

10.1145/1345169.1345177 ◽

2007 ◽

Cited By ~ 6

Author(s):

Paul B. Jackson ◽

Bill J. Ellis ◽

Kathleen Sharp

Keyword(s):

Smt Solvers ◽

High Integrity

Download Full-text

Cooperative reasoning for automatic software verification

Proceedings of the second workshop on Automated formal methods - AFM '07 ◽

10.1145/1345169.1345175 ◽

2007 ◽

Author(s):

Andrew Ireland

Keyword(s):

Software Verification ◽

Automatic Software

Download Full-text

Lightweight integration of the Ergo theorem prover inside a proof assistant

Proceedings of the second workshop on Automated formal methods - AFM '07 ◽

10.1145/1345169.1345176 ◽

2007 ◽

Cited By ~ 7

Author(s):

Sylvain Conchon ◽

Evelyne Contejean ◽

Johannes Kanig ◽

Stéphane Lescuyer

Keyword(s):

Theorem Prover ◽

Proof Assistant

Download Full-text

SMT-based synthesis of distributed systems

Proceedings of the second workshop on Automated formal methods - AFM '07 ◽

10.1145/1345169.1345178 ◽

2007 ◽

Cited By ~ 11

Author(s):

Bernd Finkbeiner ◽

Sven Schewe

Keyword(s):

Distributed Systems

Download Full-text

Extended interface grammars for automated stub generation

Proceedings of the second workshop on Automated formal methods - AFM '07 ◽

10.1145/1345169.1345174 ◽

2007 ◽

Cited By ~ 2

Author(s):

Graham Hughes ◽

Tevfik Bultan

Download Full-text

Preliminary explorations in specifying and validating entity-relationship models in PVS

Proceedings of the second workshop on Automated formal methods - AFM '07 ◽

10.1145/1345169.1345170 ◽

2007 ◽

Cited By ~ 1

Author(s):

Venkatesh Choppella ◽

Arijit Sengupta ◽

Edward L. Robertson ◽

Steven D. Johnson

Keyword(s):

Entity Relationship

Download Full-text

Modelling and test generation using SAL for interoperability testing in consumer electronics

Proceedings of the second workshop on Automated formal methods - AFM '07 ◽

10.1145/1345169.1345173 ◽

2007 ◽

Author(s):

Srikanth Mujjiga ◽

Srihari Sukumaran

Keyword(s):

Test Generation ◽

Consumer Electronics ◽

Interoperability Testing

Download Full-text

Proceedings of the second workshop on Automated formal methods - AFM '07Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Topology in PVS

Model checking for the practical verificationist

Using SMT solvers to verify high-integrity programs

Cooperative reasoning for automatic software verification

Lightweight integration of the Ergo theorem prover inside a proof assistant

SMT-based synthesis of distributed systems

Extended interface grammars for automated stub generation

Preliminary explorations in specifying and validating entity-relationship models in PVS

Modelling and test generation using SAL for interoperability testing in consumer electronics

Proceedings of the second workshop on Automated formal methods - AFM '07
Latest Publications