Download:
|
by Andrea Alborghetti, Angelo Gargantini, Angelo Morzenti
Proceedings of the 6th European Software Engineering Conference
http://www.elet.polimi.it/Users/DEI/Sections/Compeng/Angelo.Gargantini/research/TVS/../papers/ESEC97.ps.gz
Add To MetaCart
Abstract:
The importance of effective procedures for specification, validation, and verification in the development of correct and reliable computer-based systems can hardly be over-emphasized, especially in the case of time- and safety-critical systems. Validation and verification are most (cost) effective when performed in
Citations
|
156
|
Isabelle: The next 700 theorem provers
– Paulson
- 1990
|
|
36
|
Testing formal specifications to detect design errors
– Kemmerer
- 1985
|
|
30
|
Ghezzi: A model parametric real-time logic
– Morzenti, Mandrioli, et al.
- 1992
|
|
28
|
Proving properties of real-time systems through logical specifications and Petri Net models
– Felder, Mandrioli, et al.
- 1994
|
|
27
|
Mechanizing Programming Logics in Higher-Order Logic
– Gordon
- 1989
|
|
20
|
Abstract Requirements Specification: A New Approach and Its Application
– Heitmeyer, McLean
- 1983
|
|
18
|
Validating real-time systems by history-checking trio specifications
– Felder, Morzenti
- 1994
|
|
12
|
Automated deduction and formal methods
– Rushby
- 1996
|
|
8
|
An embedding of Timed Transition Systems
– Hale, Cardell-Oliver, et al.
- 1993
|
|
4
|
Simulation vs. Verification: Getting the Best of Both Worlds
– Mok, Stuart
- 1995
|
|
3
|
Natural Deduction. A Proof Theoretical Study", Almqvist
– Prawitz
- 1965
|
|
2
|
User guide for the PVS specification and verification system, language and proof checker (beta release
– Owre, Rushby
- 1993
|
|
1
|
The Imperial College Logic Environment
– Dawson
- 1992
|
|
1
|
Mechanizing Unity
– Goldshlag
- 1990
|
|
1
|
Parnas D.L., Shore J.E., Kallander J.W., Software requirements for the A7E aircraft
– Heninger
- 1978
|
|
1
|
Encoding the Real-Time Logic TRIO
– Jeffords
- 1996
|
|
1
|
Mollusc User's Guide
– Richards
- 1993
|
|
1
|
Toward a Duration Calculus assistant in PVS", in Willem--Paul de Roever Hans Laangmaack and
– Skakkebk, Shankar
- 1994
|
|
1
|
Ezing Lusk and Jim Boyle, "Automated reasoning: introduction and applications
– Wos, Overbeek
- 1984
|
|
1
|
Encoding the Real-Time Logic TRIO in PVS”, Naval Research Laboratory Research Report
– Jeffords
- 1996
|
|
1
|
Toward a Duration Calculus assistant in PVS”, in Willem-Paul de Roever Hans Laangmaack and
– Skakkebzk, Shankar
- 1994
|
