The model checking is a family of methods aimed at automatically verifying that programs (and digital systems in general) satisfy their specification. In this context the specification of a system is made out of several properties expressed using temporal logics. Concurrent systems are good candidates for automatic verifications. Model checking tools can greatly benefit from offering a visualization of the systems they verify. Better still is to have a graphical editor to create and edit the model of these systems. In this work, we shall present a graphical editor for concurrent systems and its implementation
Design and implementation of a graphical editor for concurrent systems
de Menten, G. (Author). 2004
Student thesis: Master types › Master in Computer science