Specification and verification of fault-tolerance, timing, and scheduling
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proceedings of the 22nd international conference on Software engineering
Verifying Temporal Properties of Reactive Systems: A STeP Tutorial
Formal Methods in System Design
TAME: Using PVS strategies for special-purpose theorem proving
Annals of Mathematics and Artificial Intelligence
The design and analysis of real-time systems using the ASTRAL software development environment
Annals of Software Engineering
Specification of real-time and hybrid systems in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
Visual Abstractions for Temporal Verification
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Deductive Verification of Modular Systems
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Tabled resolution + constraints: a recipe for model checking real-time systems
RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
Automated verification and testing of user-interactive undo features in database applications
Software Testing, Verification & Reliability
An approximation algorithm for box abstraction of transition systems on real state spaces
Formal Methods in System Design
Hi-index | 0.00 |