Composite model-checking: verification with type-specific symbolic representations
ACM Transactions on Software Engineering and Methodology (TOSEM)
Verification of Estelle-Specified Communication Protocols Using High-Level Petri Nets
Programming and Computing Software
Divide, Abstract, and Model-Check
Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking
A New Unfolding Approach to LTL Model Checking
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Partial S-Invariants for the Verification of Infinite Systems Families
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Modeling and verification of parallel processes
Modeling and verification of the SDL-specified communication protocols using high-level Petri nets
Programming and Computing Software
Compositional Verification of a Communication Protocol for a Remotely Operated Vehicle
FMICS '09 Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems
Verification and improvement of the sliding window protocol
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
PPP (P3): an Estelle-based probabilistic partial protocol verification system
Computer Communications
CSR'07 Proceedings of the Second international conference on Computer Science: theory and applications
Compositional verification of a communication protocol for a remotely operated aircraft
Science of Computer Programming
Deterministic compilation of temporal safety properties in explicit state model checking
HVC'12 Proceedings of the 8th international conference on Hardware and Software: verification and testing
Hi-index | 0.00 |