Login / Signup
Bounded Model Checking of Temporal Formulas with Alloy
Alcino Cunha
Published in:
CoRR (2012)
Keyphrases
</>
bounded model checking
linear temporal logic
temporal logic
model checking
formal verification
temporal information
temporal constraints
temporal relations
spatial and temporal
spatio temporal
temporal patterns
temporal data
temporal reasoning
temporal databases
temporal dimension
mechanical properties
modal logic