Towards a Generic Tool for Reasoning about Labeled Transition Systems

Abstract

The CClair project is designed to be a general framework for working with various kinds of transition systems, allowing both verification and testing activities. It is structured as a set of theories of Isabelle/HOL, the root being a theory of transition systems and their behaviour. Subtheories define particular families of systems, like constrained and… (More)

Topics

Cite this paper

@inproceedings{CastranTowardsAG, title={Towards a Generic Tool for Reasoning about Labeled Transition Systems}, author={Pierre Cast{\'e}ran and Davy Rouillard} }