Automated logical verification based on trace abstractions
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
Verifying Temporal Properties of Reactive Systems: A STeP Tutorial
Formal Methods in System Design
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Deductive Verification of Modular Systems
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
The complexity of the temporal logic with "until" over general linear time
Journal of Computer and System Sciences
A Mechanically Proved Development Combining B Abstract Systems and Spin
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
Safe Runtime Verification of Real-Time Properties
FORMATS '09 Proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems
Refinement preserves PLTL properties
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
A stepwise development of the peterson's mutual exclusion algorithm using b abstract systems
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Hi-index | 0.00 |