Symbolic Model Checking of Relative Safety LTL Properties.

Alberto Bombardelli Alessandro Cimatti Stefano Tonetta Marco Zamboni

Published in: iFM (2023)

Keyphrases

symbolic model checking
model checking
safety analysis
temporal logic
formal verification
conformant planning
model checker
formal specification
finite state
machine learning
formal methods
linear temporal logic
temporally extended goals