Christopher D. Thompson-Walsh

Learn More
This paper describes our multi-valued symbolic model-checker χ Chek. χ Chek is a generalization of an existing symbolic model-checking algorithm for a multi-valued extension of the temporal logic CTL. Multi-valued model-checking supports reasoning with values other than just TRUE and FALSE. Multi-valued logics are useful in software engineering because they(More)
Recently, there has been substantial interest in using rule-based modelling approaches, such as the Kappa modelling language, to attack the combinatorial intractability of many biochemical systems. These approaches have allowed several novel static analyses to be developed, which motivates broadening their expressivity. In this paper, we build upon prior(More)
  • 1