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