Temporal logic properties of Java objects.

Radu Iosif Riccardo Sisto

Published in: J. Syst. Softw. (2003)

Keyphrases

temporal logic
model checking
satisfiability problem
modal logic
concurrent systems
verification method
temporal properties
transition systems
linear temporal logic
mazurkiewicz traces
formal verification
temporal knowledge
reactive systems
computation tree logic
model checker
belief revision
automata theoretic