A Temporal Logic for Multi-threaded Programs.
Salvatore La TorreMargherita NapoliPublished in: IFIP TCS (2012)
Keyphrases
- temporal logic
- multi threaded
- model checking
- operating system
- modal logic
- multi core processors
- information flow
- computation tree logic
- multithreading
- computer architecture
- belief revision
- real time
- verification method
- transition systems
- computer programs
- linear temporal logic
- programming environment
- information systems
- artificial intelligence