Formal Analysis of the Wnt/β-catenin through Statistical Model Checking.

Paolo Ballarini Emmanuelle Gallet Pascale Le Gall Matthieu Manceny

Published in: ISoLA (2) (2014)

Keyphrases

formal analysis
model checking
formal methods
temporal logic
model checker
temporal properties
formal specification
finite state

formal verification
process algebra
automated verification
reachability analysis
finite state machines
symbolic model checking
verification method
partial order reduction

epistemic logic
computation tree logic
pspace complete
timed automata
bounded model checking
concurrent systems
transition systems

modal logic
artificial intelligence
reactive systems
linear temporal logic
deterministic finite automaton
ban logic
machine learning