Automated formal verification of visual modeling languages by model checking
Author:
- 1 May 2004
- journal article
- Published by Springer Nature in Software and Systems Modeling
- Vol. 3 (2) , 85-113
Abstract
No abstract availableKeywords
This publication has 25 references indexed in Scilit:
- Abstract State Machines2003
- Efficient parsing of visual languages based on critical pair analysis and contextual layered graph transformation2002
- Model Checking Birth and Death2002
- A Static Analysis Technique for Graph Transformation SystemsLecture Notes in Computer Science, 2001
- Bounded Model Checking Using Satisfiability SolvingFormal Methods in System Design, 2001
- Consistency Checking and Visualization of OCL ConstraintsLecture Notes in Computer Science, 2000
- Composition and Submachine Concepts for Sequential ASMs2000
- The tool Kronos1996
- GRAPH PROCESSESFundamenta Informaticae, 1996
- A theory of timed automataTheoretical Computer Science, 1994