A temporal logic approach to modular design of synthetic biological circuits.

Ezio Bartocci Luca Bortolussi Laura Nenzi

Published in: CoRR (2013)

Keyphrases

temporal logic
modular design
model checking
satisfiability problem
modal logic
concurrent systems
linear temporal logic
computation tree logic
mazurkiewicz traces
belief revision
verification method
model checker
bounded model checking
artificial intelligence
formal specification language