Selected papers relevant to
CS256
Automatic generation of invariants
- Nikolaj Bjørner, I. Anca Browne and Zohar Manna.
Automatic Generation of
Invariants and Intermediate Assertions. To appear in
Theoretical Computer Science.
Original version appeared in
1st International Conference on Principles and Practice of
Constraint Programming, Lecture Notes in Computer Science 976,
Cassis, France (September 1995), pp. 589-623.
Diagram verification
Verification diagrams
- Anca Browne, Zohar Manna, Henny Sipma,
Hierarchical Verification using Verification
Diagrams, to appear in Asian'96, Singapore,
December 1996.
- Anca Browne, Luca de Alfaro, Zohar Manna, Henny B. Sipma
and Tomás E. Uribe.
Diagram-Based Formalisms for the Verification of Reactive Systems,
in CADE-13 Workshop on Visual Reasoning, New Brunswick, NJ, July 1996.
- I. Anca Browne, Zohar Manna and Henny Sipma.
Generalized Temporal Verification
Diagrams. In 15th Conference on the Foundations of Software
Technology and Theoretical Computer Science,
Lecture Notes in Computer Science, Bangalore, India (December 1995).
- Zohar Manna and Amir Pnueli.
Temporal Verification Diagrams.
In International Symposium on
Theoretical Aspects of Computer Software,
Lecture Notes in Computer Science 789, Springer-Verlag. 1994,
pp. 726-765.
Fairness Diagrams
Deductive Modelchecking
STeP
- Nikolaj Bjorner, Anca Browne, Eddie Chang, Michael Colon,
Arjun Kapur, Zohar Manna, Henny Sipma, Tomas Uribe,
STeP: Deductive-Algorithmic Verification
of Reactive and Real-time Systems,
In 8th International Conference on Computer-Aided Verification,
LNCS vol. 1102, pp. 415-418, Springer-Verlag, July 1996.
- Nikolaj Bjorner, Anca Browne, Eddie Chang, Michael Colon,
Arjun Kapur, Zohar Manna, Henny Sipma, Tomas Uribe,
STeP: The Stanford Temporal Prover (Educational Release), User's Manual.
Technical report STAN-CS-TR-95-1562, Computer Science Department,
Stanford University, November 1995.
-
The STeP group.
STeP:
The Stanford Temporal Prover (2-page abstract).
In TAPSOFT'95: Theory and Practice of Software Development,
Lecture Notes in Computer Science 915, May 1995, pp. 793-794.
-
Zohar Manna, Anuchit Anuchitanukul, Nikolaj Bjorner, Anca Browne,
Edward Chang, Michael Colon, Luca de Alfaro, Harish Devarajan,
Henny Sipma and Tomas Uribe,
STeP: The Stanford Temporal Prover.
Technical report STAN-CS-TR-94-1518, Computer Science Department,
Stanford University, July 1994.
Real-time and Hybrid systems
-
Zohar Manna and Amir Pnueli.
Clocked Transition Systems.
A tribute to Prof. C.S. Tang on his 70th birthday.
Presented at the Workshop on Verification and Control of Hybrid
Systems, New Brunswick, NJ., October 1995.
Also Stanford CSD Technical Report STAN-CS-TR-96-1566.
- Yonit Kesten, Zohar Manna and Amir Pnueli.
Verifying Clocked Transition Systems.
In Hybrid Systems III, LNCS 1066, Springer-Verlag, 1996.
© Henny Sipma /
sipma@cs.stanford.edu