CLTSA:  LABELLED TRANSITION SYSTEM ANALYsER with COUNTING FLUENT support
  • Home
  • Model Checking
  • Examples
  • Demo & Benchmarks
  • Download
  • Publications
  • About
  • Contact
CLTSA (Counting Fluents Labelled Transition System Analyser) is an extension of LTSA (Labelled Transition System Analyser) that incorporates counting fluents, a useful mechanism to capture properties related to counting events. The tool supports a superset of FSP, that allows one to define counting fluents properties, that the tool can also model check. 
Powered by Create your own unique website with customizable templates.
  • Home
  • Model Checking
  • Examples
  • Demo & Benchmarks
  • Download
  • Publications
  • About
  • Contact