Login / Signup
Formal Verification of Protocol Properties of Sequential Java Programs.
Ying Jin
Published in:
COMPSAC (1) (2007)
Keyphrases
</>
formal verification
java programs
model checker
coloured petri nets
model checking
test suite
symbolic model checking
automated verification
information systems
multi threaded
java language
test cases
temporal logic
object oriented
distributed systems
bounded model checking