Generating Linear Temporal Logic Formulas for Pattern-Based Specifications.

Salamah Salamah Vladik Kreinovich Ann Q. Gates

Published in: SEKE (2007)

Keyphrases

linear temporal logic
bounded model checking
temporal logic
linear time temporal logic
model checking
transition systems
concurrent systems
formal specification
formal verification
specification language
reactive systems
machine learning
model checker
software engineering
modal logic
logical formulas