Java Memory Model-Aware Model Checking.

Huafeng Jin Tuba Yavuz-Kahveci Beverly A. Sanders

Published in: TACAS (2012)

Keyphrases

model checking
model checker
temporal properties
finite state
verification method
programming language
temporal logic
finite state machines
formal verification
process algebra
multi agent
knowledge based systems
process model
bounded model checking