Modern compiler implementation in Java: basic techniques
Modern compiler implementation in Java: basic techniques
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Bandera: extracting finite-state models from Java source code
Proceedings of the 22nd international conference on Software engineering
Optimizing Symbolic Model Checking for Statecharts
IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
Model Checking of Workflow Schemas
EDOC '00 Proceedings of the 4th International conference on Enterprise Distributed Object Computing
Symmetry Reduction Criteria for Software Model Checking
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
Proceedings of the 25th International Conference on Software Engineering
Bogor: an extensible and highly-modular software model checking framework
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Analyzing Interaction Orderings with Model Checking
Proceedings of the 19th IEEE international conference on Automated software engineering
Model checking publish-subscribe systems
SPIN'03 Proceedings of the 10th international conference on Model checking software
A case study in domain-customized model checking for real-time component software
ISoLA'04 Proceedings of the First international conference on Leveraging Applications of Formal Methods
Hi-index | 0.00 |
This paper describes our effort on developing educational materials on model checking to help foster the adoption of software model checking. We describe the course materials that provide an in-depth theoretical background of model checking algorithms, coupled with a tool support to apply them that is built around the Eclipse platform. The educational materials presented here have been used to teach graduate-level model checking courses in a number of North American and European institutions.