Verifying Nested Lock Priority Inheritance in RTEMS with Java Pathfinder.
Saurabh GadiaCyrille ArthoGedare BloomPublished in: ICFEM (2016)
Keyphrases
- object oriented
- object oriented languages
- object oriented databases
- programming language
- open source
- database applications
- java programs
- model checking
- knowledge representation
- source code
- concurrency control
- multiple inheritance
- development environment
- priority scheduling
- read write
- database access
- web services
- hierarchical structure
- lightweight
- data model
- steady state
- database design
- web applications
- artificial intelligence
- java applets
- preemptive scheduling