Can I read EMC System: Model Checker Overview on EtoBox?

EMC System: Model Checker Overview by theresa.painter is a document available to read on EtoBox.

What is EMC System: Model Checker Overview about?

The EMC system takes a specification as input and uses a preprocessor and model checker to generate a state transition graph with 104 to 105 states from the model. The model checker then determines if the model satisfies the specification by finding true executions or counterexamples in the state transition graph.

Author

theresa.painter

Language

EN