A Linear Temporal Logic Model Checking Method over Finite Words with Correlated Transition Attributes.

Jean-Michel Couvreur Joaquin Ezpeleta

Published in: SIMPDA (2017)

Keyphrases

model checking
linear temporal logic
temporal logic
verification method
computational complexity
formal verification
finite state
search methods
search strategies
reactive systems
symbolic model checking
transition systems
bounded model checking