Login / Signup
Using Formal Methods to Reason about Semantics-Based Decompositions of Transactions.
Paul Ammann
Sushil Jajodia
Indrakshi Ray
Published in:
VLDB (1995)
Keyphrases
</>
formal methods
formal analysis
knowledge based systems
model checking
model checker
software engineering
safety critical
formal specification
temporal properties
database
artificial intelligence
provably correct
formal specification language
transaction management
open source
development lifecycle
databases