IEEE - Institute of Electrical and Electronics Engineers, Inc. - Automating Context Description for Software Formal Verification

2010 Workshop on Model-Driven Engineering, Verification, and Validation (MoDeVVa)

Author(s): Raji, A. ; Dhaussy, P. ; Aizier, B.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 October 2010
Conference Location: Oslo, Norway, Norway
Conference Date: 3 October 2010
Page(s): 13 - 18
ISBN (Electronic): 978-0-7695-4384-0
DOI: 10.1109/MoDeVVa.2010.13
Regular:

Formal methods have increasingly been recognized as effective techniques for automating software verifications to satisfy quality and reliability. However, using such techniques within industrial... View More

Advertisement