Login / Signup
Formal Verification and Biology.
David L. Dill
Published in:
ATVA (2008)
Keyphrases
</>
formal verification
model checking
model checker
automated verification
bounded model checking
molecular biology
symbolic model checking
scientific fields
program slicing
temporal logic
computational biology
multi agent
formal specification