Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems

This publication has 11 references indexed in Scilit:

• From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design
  2016
• Statistical Model Checking of Simulink Models with Plasma Lab
  2016
• Uppaal SMC tutorial
  International Journal on Software Tools for Technology Transfer, 2015
• Rewrite-Based Statistical Model Checking of WMTL
  2013
• Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs
  2012
• A step towards verification and synthesis from simulink/stateflow models
  2011
• Dafny: An Automatic Program Verifier for Functional Correctness
  2010
• Bridging the Gap Between Model-Based Development and Model Checking
  Lecture Notes in Computer Science, 2009
• Tool for Translating Simulink Models into Input Language of a Model Checker
  2006
• Uppaal in a nutshell
  International Journal on Software Tools for Technology Transfer, 1997