A toolbox for the verification of LOTOS programs
ICSE '92 Proceedings of the 14th international conference on Software engineering
Model-Based Verification of a Security Protocol for Conditional Access to Services
Formal Methods in System Design
Verification experiments on the MASCARA protocol
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Abstraction in Software Model Checking: Principles and Practice (Tutorial Overview and Bibliography)
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
Inference of W-languages from prefixes
Theoretical Computer Science - Special issue: Algorithmic learning theory
Compositionality and locality for improving model checking in the selective mu-calculus
Science of Computer Programming
Reducing behavioural to structural properties of programs with procedures
Theoretical Computer Science
| Hi-index | 0.00 |