Login / Signup
Causality and Responsibility for Formal Verification and Beyond.
Hana Chockler
Published in:
CREST@ETAPS (2016)
Keyphrases
</>
formal verification
model checking
model checker
symbolic model checking
bounded model checking
program slicing
automated verification
causal relations
causal relationships
causal models
causal reasoning
temporal ordering
bayesian networks
functional verification