engleski

Formal Methods and Model Checking in Coordination Based Framework

Modeling and model checkings are important parts of system development. Because there are many suitable tools specialized for model checking and specification, coordination between various tools is introduced. TclTk based kernel application generate and automatically produce high level Petri Net layout as a coordination framework for desired problem solution. After the description of previous work from protocol synthesis problem domain, coordination framework is introduced and illustrated with two examples.

formal methods; model checking; coordination

nije evidentirano