Parallel and distributed bounded model checking of multi-threaded programs.
Omar InversoCatia TrubianiPublished in: PPoPP (2020)
Keyphrases
- multi threaded
- bounded model checking
- multi core processors
- operating system
- multithreading
- computer architecture
- distributed systems
- formal verification
- information flow
- model checking
- multi agent
- cooperative
- parallel programming
- distributed environment
- computer networks
- programming environment
- real time
- multi agent systems
- distributed computing
- shared memory
- computing environments
- access control
- general purpose
- object oriented
- search space
- linear temporal logic
- information systems