Verifying Temporal Properties of Reactive Systems: A STeP Tutorial
Formal Methods in System Design
Visual Abstractions for Temporal Verification
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
omega-Regular Languages Are Testable with a Constant Number of Queries
RANDOM '02 Proceedings of the 6th International Workshop on Randomization and Approximation Techniques
ω-Regular languages are testable with a constant number of queries
Theoretical Computer Science
Decision procedures for the temporal verification of concurrent lists
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
A theory of skiplists with applications to the verification of concurrent datatypes
NFM'11 Proceedings of the Third international conference on NASA Formal methods
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
| Hi-index | 0.00 |