Andrea Alborghetti

Learn More
We report on our experience in using a general purpose theorem prover to provide mechanical support to deductive analysis of specifications written in the TRIO temporal logic, and on applying the resulting tool to a widely known case study in the field of time-and safety-critical systems, First, we illustrate the required features for a general purpose(More)
  • 1