EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs - (Competition Contribution).
Fatimah AljaafariFedor ShmarovEdoardo ManinoRafael MenezesLucas C. CordeiroPublished in: TACAS (2) (2023)
Keyphrases
- black box
- concurrent programs
- cooperative
- process algebra
- model checking
- concurrent systems
- asynchronous circuits
- black boxes
- white box
- integration testing
- test cases
- white box testing
- hybrid systems
- multi agent systems
- metamodel
- temporal logic
- concurrent programming
- concurrent processes
- formal methods
- distributed systems
- web applications
- wireless sensor networks
- decision trees