IEEE - Institute of Electrical and Electronics Engineers, Inc. - Tutorial: Automated Formal Methods with PVS, SAL, and Yices

Fourth IEEE International Conference on Software Engineering and Formal Methods

Author(s): J. Rushby
Sponsor(s): IEEE Comput. Soc
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2006
Conference Location: Pune, India
Conference Date: 11 September 2006
Page(s): 262
ISBN (Paper): 0-7695-2678-0
DOI: 10.1109/SEFM.2006.37
Regular:

This full-day tutorial provides an introduction to automated formal methods using modern tools and methods. PVS is a comprehensive system for formal specification and analysis. It provides an... View More

Advertisement