Applying Formal Methods to Semantic-Based Decomposition of Transactions.

Paul Ammann Sushil Jajodia Indrakshi Ray

Published in: ACM Trans. Database Syst. (1997)

Keyphrases

formal methods
formal analysis
knowledge based systems
model checking
model checker
safety critical
formal specification
database
artificial intelligence
reactive systems
software engineering
process algebra
data model
transaction processing
temporal properties