The ACID model checker and code generator for transaction processing.
Anakreon MentisPanagiotis KatsarosPublished in: HPCS (2009)
Keyphrases
- transaction processing
- model checker
- code generator
- model checking
- code generation
- formal specification
- formal verification
- formal methods
- distributed databases
- description language
- automatically generated
- temporal logic
- database systems
- process model
- database management systems
- concurrency control
- test suite
- mobile computing
- distributed database systems
- database server
- software engineering
- data management
- software architecture
- data model
- end users
- peer to peer
- client server
- distributed systems
- reverse engineering
- business processes
- data mining