On optimal slicing of parallel programs
STOC '01 Proceedings of the thirty-third annual ACM symposium on Theory of computing
Model Checking of Safety Properties
Formal Methods in System Design
Bisimulation indexes and their applications
Theoretical Computer Science
Verifying Probabilistic Programs Using a Hoare like Logic
ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
Extended Temporal Logic Revisited
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
The Need for Compositional Proof Systems: A Survey
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Model Checking of Safety Properties
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Automata and Their Interaction: Definitional Suggestions
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
Static Analysis for State-Space Reductions Preserving Temporal Logics
Formal Methods in System Design
Modeling And Verification Of Real-Time Systems
Journal of Integrated Design & Process Science
Software debugging, testing, and verification
IBM Systems Journal
Inference rules for proving the equivalence of recursive procedures
Time for verification
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
Modal logics for reasoning about object-based component composition
IW-FM'00 Proceedings of the 4th Irish conference on Formal Methods
A refinement calculus for communicating processes with state
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Hi-index | 0.00 |