Deductive verification of real-time systems using STeP

Authors:
Nikolaj S. Bjørner;Zohar Manna;Henny B. Sipma;Tomás E. Uribe
Affiliations:
Stanford Univ., Stanford, CA;Stanford Univ., Stanford, CA;Stanford Univ., Stanford, CA;Stanford Univ., Stanford, CA
Venue:
Theoretical Computer Science - Special issue on real-time systems and concurrent and distributed software
Year:
2001

Using BDDs with Combinations of Theories

LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Documentation Driven Development for Complex Real-Time Systems

IEEE Transactions on Software Engineering
Composition of software artifacts modelled using colored Petri nets

Science of Computer Programming - Special issue on new software composition concepts
Decidability of invariant validation for paramaterized systems

TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Automated machine-checked hybrid system safety proofs

ITP'10 Proceedings of the First international conference on Interactive Theorem Proving

Hi-index	0.00