Invariant-based specification, synthesis, and verification of synchronization in concurrent programs.
Xianghua DengMatthew B. DwyerJohn HatcliffMasaaki MizunoPublished in: ICSE (2002)
Keyphrases
- concurrent programs
- process algebra
- concurrent systems
- model checking
- asynchronous circuits
- formal methods
- formal specification
- formal verification
- temporal logic
- distributed systems
- concurrent programming
- protocol specification
- petri net
- database
- concurrent processes
- high level
- general purpose
- web services composition
- communication networks
- web applications