Calibration of stochastic biochemical models against behavioral temporal logic specifications.

Sumit Kumar Jha Arfeen Khalid

Published in: ICCABS (2017)

Keyphrases

temporal logic
reactive systems
concurrent systems
experimental data
model checking
model checker
modal logic
bounded model checking
petri net
formal specification language
software engineering
camera calibration
temporal knowledge
mazurkiewicz traces