Towards the Automated Verification of Multithreaded Java Programs.
Giorgio DelzannoJean-François RaskinLaurent Van BeginPublished in: TACAS (2002)
Keyphrases
- java programs
- automated verification
- multi threaded
- model checking
- multithreading
- automated reasoning
- formal verification
- software components
- java language
- parallel computing
- graph theory
- test suite
- coarse grained
- highly efficient
- computational power
- parallel programming
- data partitioning
- knowledge representation
- fine grained
- operating system