A Model Checking Approach to Discrete Bifurcation Analysis.

Nikola Benes Lubos Brim Martin Demko Samuel Pastva David Safránek

Published in: FM (2016)

Keyphrases

model checking
temporal logic
temporal properties
verification method
formal verification
symbolic model checking
automated verification
abstract interpretation
search algorithm
distributed systems
game theory
formal specification
model checker
pspace complete
linear temporal logic
computation tree logic