On Proving Safety Properties by Integrating Static Analysis, Theorem Proving and Abstraction

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

On Proving Safety Properties by Integrating Static Analysis, Theorem Proving and Abstraction

Source

Lecture Notes In Computer Science; Vol. 1579 archive
Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems table of contents

Pages: 178 - 192

Year of Publication: 1999

ISBN:3-540-65703-7

Authors

Vlad Rusu
Eli Singerman

Publisher

Springer-Verlag London, UK

Bibliometrics

Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Citation Count: 3

Additional Information:

cited by collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

CITED BY 3

	Nevin Heintze , Joxan Jaffar , Răzvan Voicu, A framework for combining analysis and verification, Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.26-39, January 19-21, 2000, Boston, MA, USA
	Thomas Ball , Sriram K. Rajamani, The SLAM project: debugging system software via static analysis, ACM SIGPLAN Notices, v.37 n.1, p.1-3, Jan. 2002
	Edmund Clarke , Orna Grumberg , Somesh Jha , Yuan Lu , Helmut Veith, Counterexample-guided abstraction refinement for symbolic model checking, Journal of the ACM (JACM), v.50 n.5, p.752-794, September 2003

Collaborative Colleagues:

Vlad Rusu: colleagues

Eli Singerman: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player