Keyphrases
- read write
- formal verification
- concurrent programs
- model checking
- process algebra
- temporal logic
- formal specification
- flash memory
- concurrent programming
- concurrency control
- concurrent systems
- formal methods
- asynchronous circuits
- concurrent processes
- database systems
- file system
- web applications
- low cost
- management system
- expert systems