CLTSA:  LABELLED TRANSITION SYSTEM ANALYsER with COUNTING FLUENT support
  • Home
  • Model Checking
  • Examples
  • Demo & Benchmarks
  • Download
  • Publications
  • About
  • Contact
  • Germán Regis, Renzo Degiovanni, Nicolás D'Ippolito and Nazareno Aguirre, " Specifying Event-Based Systems with a Counting Fluent Temporal Logic ", 37th International Conference on Software Engineering, ICSE 2015.
​
  • Germán Regis, Renzo Degiovanni, Nicolás D'Ippolito, Nazareno Aguirre, "CLTSA: labelled transition system analyser with counting fluent support",  11th Joint Meeting on Foundations of Software Engineering ESEC/SIGSOFT FSE 2017.
Powered by Create your own unique website with customizable templates.
  • Home
  • Model Checking
  • Examples
  • Demo & Benchmarks
  • Download
  • Publications
  • About
  • Contact