Volume 9, Issue 1

Search all International Journal on Software Tools for Technology Transfer articles

February 2007

Special Section on Advances in Automated Verification of Critical Systems

Filter by

Volume:

Sort by

Date published:

New to old Old to new

8 articles in this issue

On the expressiveness of MTL in the pointwise and continuous semantics
Deepak D’Souza
Pavithra Prabhakar
FORMAL METHODS LETTER 12 April 2006 Pages: 1 - 4
The FSAP/NuSMV-SA Safety Analysis Platform
Marco Bozzano
Adolfo Villafiorita
Regular Contributions 29 June 2006 Pages: 5 - 24
Some current topics in model checking
Michael Huth
SPECIAL SECTION ON ADVANCES IN AUTOMATED VERIFICATION OF CRITICAL SYSTEMS 29 July 2006 Pages: 25 - 36
Compositional software verification based on game semantics and process algebra
Aleksandar Dimovski
Ranko Lazić
SPECIAL SECTION ON ADVANCES IN AUTOMATED VERIFICATION OF CRITICAL SYSTEMS 14 July 2006 Pages: 37 - 51
Model-checking the preservation of temporal properties upon feature integration
Dimitar P. Guelev
Mark D. Ryan
Pierre Yves Schobbens
SPECIAL SECTION ON ADVANCES IN AUTOMATED VERIFICATION OF CRITICAL SYSTEMS 26 September 2006 Pages: 53 - 62
Formal verification of the NASA runway safety monitor
Radu I. Siminiceanu
Gianfranco Ciardo
Special Section on Advances In Automated Verification of Critical Systems 23 August 2006 Pages: 63 - 76
CTL-property Transformations along an Incremental Design Process
Cécile Braunstein
Emmanuelle Encrenaz
Special Section on Advances in Automated Verification of Critical Systems 29 June 2006 Pages: 77 - 88
Improved verification of hardware designs through antecedent conditioned slicing
Shobha Vasudevan
E. Allen Emerson
Jacob A. Abraham
Special Section on Advances in Automated Verification of Critical Systems 08 July 2006 Pages: 89 - 101

Volume 9, Issue 1

Search

Navigation