Interface-Based Specification and Verification of Concurrency Controllers.
Aysu Betin-CanTevfik BultanPublished in: Electron. Notes Theor. Comput. Sci. (2003)
Keyphrases
- formal verification
- asynchronous circuits
- formal methods
- protocol specification
- control system
- model checking
- user friendly
- reinforcement learning
- database systems
- colored petri nets
- user interface
- friendly interface
- concurrency control
- temporal logic
- visual interface
- transaction processing
- concurrency control protocols
- controller design
- formal specification
- natural language interface
- graphical interface
- signature verification
- databases
- data flow
- software systems
- fine grained
- web services