|
3
|
Towards Verified Systems
– Jonathan P. Bowen, Jonathan Bowen (ed
- 1994
|
|
1
|
Of What Use is a Verified Compiler Specification?
– Paul Curzon
- 1992
|
|
4
|
Axiomatic Semantics Verification of a Secure Web Server
– Paul E. Black
- 1998
|
|
14
|
Inference rules for programming languages with side effects in expressions
– Paul E. Black
- 1996
|
|
1
|
Compiler Implementation Verification and Trojan Horses (Draft)
– Wolfgang Goerigk, Hans Langmaack
- 2000
|
|
6
|
A Mechanized Hoare Logic of State Transitions
– Mike Gordon
- 1993
|
|
4
|
A Functional Approach for Formalizing Regular Hardware Structures
– Dirk Eisenbiegler, Klaus Schneider, Ramayya Kumar
|
|
|
LVT: A Layered Verification Technique for Distributed Computing Systems
– Cui Zhang, Brian R. Becker, Dave Peticolas, Ronald A. Olsson, Karl N. Levitt
- 1999
|
|
3
|
Experiences with Proof in a Formal Development
– Denton Clutterbuck, Juan Bicarregui, Brian Matthews
- 1996
|
|
1
|
The Importance of Proof Maintenance and Reengineering
– Paul Curzon
- 1995
|
|
3
|
A Mathematically Precise Two-Level Formal Hardware Verification Methodology
– Carl-johan H. Seger, Jeffrey J. Joyce
- 1992
|
|
4
|
A Hierarchical Method for Reasoning about Distributed Programming Languages
– Cui Zhang, Brian R. Becker, Mark R. Heckman, Karl Levitt, Ron A. Olsson
- 1995
|
|
12
|
Specification, Verification and Prototyping of an Optimized Compiler
– He Jifeng, Jonathan P. Bowen
- 1994
|
|
4
|
Towards Machine-checked Compiler Correctness for Higher-order Pure Functional Languages
– David Lester, Sava Mintchev
- 1994
|
|
16
|
Compiler Correctness and Implementation Verification: The Verifix Approach
– Wolfgang Goerigk, Axel Dold, Thilo Gaul, Gerhard Goos, Andreas Heberle, Friedrich W. Von Henke, Ulrich Hoffmann, Hans Langmaack, Holger Pfeifer, Harald Ruess, Wolf Zimmermann
- 1996
|
|
|
From Design Formulas to Parallel Implementations
– Marko Kääramees, Michael R. Hansen
- 1997
|
|
5
|
Signed Interval Logic
– Thomas Marthedal Rasmussen
- 1999
|
|
2
|
Completeness of Higher-Order Duration Calculus
– Zhan Naijun
- 1999
|
|
5
|
Using HOL to study Sugar 2.0 semantics
– Michael J. C. Gordon
- 2002
|
|
9
|
Liveness and Fairness in Duration Calculus
– Jens Ulrik Skakkebaek
- 1994
|
