The role of model checking in software engineering
Abstract Model checking is a formal verification technique. It takes an exhaustively strategy
to check hardware circuits and network protocols against desired properties. Having been …
to check hardware circuits and network protocols against desired properties. Having been …
Optimizing hierarchical, concurrent state machines in umple for model checking
O Adesina, TC Lethbridge… - 2019 ACM/IEEE 22nd …, 2019 - ieeexplore.ieee.org
This paper presents our work on the optimization of hierarchical, concurrent state machines
for the purpose of model checking software systems. We propose an encoding strategy that …
for the purpose of model checking software systems. We propose an encoding strategy that …
[PDF][PDF] Using model checking to analyze static properties of declarative models: Extended version
A Vakili, NA Day - Automated Software Engineering (ASE), 2011 - cs.uwaterloo.ca
We show how static properties of declarative models can be efficiently analyzed in a
symbolic model checker; in particular, we use Cadence SMV to analyze Alloy models by …
symbolic model checker; in particular, we use Cadence SMV to analyze Alloy models by …
Analyzing temporal properties of abstract models
A Vakili - 2011 26th IEEE/ACM International Conference on …, 2011 - ieeexplore.ieee.org
Models are created and changed throughout the development process of software systems.
The cost of repairing the errors that are due to mistakes in models is very high. In this …
The cost of repairing the errors that are due to mistakes in models is very high. In this …