Verifying periodic programs with priority inheritance locks.
Sagar ChakiArie GurfinkelOfer StrichmanPublished in: FMCAD (2013)
Keyphrases
- object oriented languages
- object oriented
- object oriented databases
- automatic programming
- model checking
- neural network
- priority queue
- programming environment
- computer programs
- concurrency control
- information systems
- fine grained
- knowledge representation
- knowledge base
- search engine
- multiple inheritance
- databases
- priority scheduling