A graphical tool for formal verification using Event-B modeling.

Published in: Multim. Tools Appl. (2024)

Keyphrases

formal verification
model checking
model checker
software tools
symbolic model checking
bounded model checking
automated verification
event detection
modeling tool
graphical display
news articles
formal specification
program slicing