Provably correct inline monitoring for multithreaded Java-like programs.
Mads DamBart JacobsAndreas LundbladFrank PiessensPublished in: J. Comput. Secur. (2010)
Keyphrases
- provably correct
- formal methods
- situation calculus
- java programs
- monitoring system
- multithreading
- programming language
- object oriented
- source code
- error estimates
- real time
- multi user
- mutual exclusion
- knowledge based systems
- database applications
- web applications
- open source
- software engineering
- case study
- web services
- information systems
- artificial intelligence
- machine learning