Parallel Specification-Based Testing for Concurrent Programs.
Canh Minh DoKazuhiro OgataPublished in: IEEE Access (2022)
Keyphrases
- concurrent programs
- process algebra
- formal specification
- asynchronous circuits
- concurrent systems
- formal methods
- concurrent programming
- model checking
- web services composition
- massively parallel
- communication protocols
- petri net
- databases
- knowledge acquisition
- distributed systems
- web applications
- concurrent processes
- expert systems