Login / Signup
Combining type-based analysis and model checking for finding counterexamples against non-interference.
Hiroshi Unno
Naoki Kobayashi
Akinori Yonezawa
Published in:
PLAS (2006)
Keyphrases
</>
model checking
temporal logic
dynamic analysis
finite state
formal verification
epistemic logic
satisfiability problem
temporal properties
artificial intelligence
rough sets
markov chain
finite state machines
automated verification