Login / Signup
Logical model specification aided by model-checking techniques: application to the mammalian cell cycle regulation.
Pauline Traynard
Adrien Fauré
François Fages
Denis Thieffry
Published in:
Bioinform. (2016)
Keyphrases
</>
model checking
temporal properties
computational model
formal specification
probabilistic model
process algebra
model checker
network model
reactive systems
specification language
cell cycle
verification method
concurrent systems