Christopher D. Thompson-Walsh

Learn More
In this paper, we introduce a novel way of constructing concise causal histories (pathways) to represent how specified structures are formed during simulation of systems represented by rule-based models. This is founded on a new, clean, graph-based semantics introduced in the first part of this paper for Kappa, a rule-based modelling language that has(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)
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)
x c h e k @ c s , t o r o n t o , e d u This paper describes our multi-valued symbolic model-checker XChek. XChek 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(More)
  • 1