Login / Signup
Extending JML for Modular Specification and Verification of Multi-threaded Programs.
Edwin Rodríguez
Matthew B. Dwyer
Cormac Flanagan
John Hatcliff
Gary T. Leavens
Robby
Published in:
ECOOP (2005)
Keyphrases
</>
multi threaded
java programs
formal verification
operating system
formal methods
model checking
information flow
multi core processors
computer architecture
multithreading
real time
formal specification
high level
computer programs
computer systems