Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Mike Whalen
The JKind Model Checker
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
A Symbolic Model Checker for ACTL
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Markov Chain Model Checker
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Towards a Certified Petri Net Model-Checker
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Model-Based Privacy Compliance Checker
International Journal of e-Business Research
Computer Science Applications
Management Information Systems
Improving and Assessing the Efficiency of the Mc4cslta Model Checker
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
McMas: A Model Checker for Multi-Agent Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Z2SAL - Building a Model Checker for Z
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verifying Networked Programs Using a Model Checker Extension
VoxLogicA: A Spatial Model Checker for Declarative Image Analysis
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
