Login / Signup
Resets vs. Aborts in Linear Temporal Logic.
Roy Armoni
Doron Bustan
Orna Kupferman
Moshe Y. Vardi
Published in:
TACAS (2003)
Keyphrases
</>
linear temporal logic
temporal logic
nested transactions
transaction processing
model checking
bounded model checking
low overhead
concurrency control
database systems
learning algorithm
knowledge base
general purpose
database management systems
formal specification
transition systems