Programming languages (3rd ed.): design and implementation
Programming languages (3rd ed.): design and implementation
Fundamenta Informaticae - Special issue on graph transformations
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Handbook of graph grammars and computing by graph transformation
Logic in computer science: modelling and reasoning about systems
Logic in computer science: modelling and reasoning about systems
An Overview of the GXL Graph Exchange Language
Revised Lectures on Software Visualization, International Seminar
Explicit State Model Checking for Graph Grammars
Concurrency, Graphs and Models
A Graph-Based Operational Semantics of OO Programs
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Scenario-driven analysis of systems specified through graph transformations
Journal of Visual Languages and Computing
A graph-based generic type system for object-oriented programs
Frontiers of Computer Science: Selected Publications from Chinese Universities
Hi-index | 0.00 |
Concurrent object-oriented systems are ubiquitous due to the importance of networks and the current demands for modular, reusable, and easy to develop software. However, checking the correctness of such systems is a hard task, mainly due to concurrency and inheritance aspects. In this paper we present an approach to the verification of concurrent object-oriented systems. We use graph grammars equipped with object oriented features (including inheritance and polymorphism) as the specification formalism, and define a translation from such specifications to Promela, the input language of the SPIN model checker.