Tool

• 
  ARIsTEO (AbstRactIon based TEst generatiOn) is a novel testing framework that generates faulty test inputs for Compute Intensive Cyber-Physical Models in a automatic manner. https://github.com/SNTSVV/ARIsTEO/
• 
  SOCRaTEs is an tool to generate automated test oracles for Cyber Physical System models https://github.com/SNTSVV/SOCRaTEs
• 
  TACK (Timed Automata ChecKer) is a novel technique to perform model checking of Metric Interval Temporal Logic (MITL) properties on networks of Timed Automata (TA) which relies on a purely logic-based approach. https://claudiomenghi.github.io/TACK/
• 
  PSALM (Pattern bAsed MIssion Specifier) allows creating complex robotic missions using on a set of mission specification patterns https://claudiomenghi.github.io/PsAlM/ Patterns are available on a dedicated website http://roboticpatterns.com
  
  
• 
  COVER is a unified framework that supports the interplay between requirements analysts and software developers. It contracts a bridge between the requirements analyst’s and the software developer’s artifacts by enabling goal model analysis during software design. The goal model produced by the requirements analyst is kept alive and updated while the system is designed. Whenever the design of the system changes, COVER verifies the new design against the requirements of interest. The verification results are used to trigger a goal model analysis procedure. The results of this analysis can be used by the requirements analyst and the software developer to update the goal model or the design of the system. Additional information on cover can be found at https://claudiomenghi.github.io/COVER/
  
  
• 
  CHIA (CHecker for Incomplete Automata), is a tool supporting the developer in iterative development of system models given as state machines and properties of interest expressed in temporal logic. Some states (called black box states) are placeholders that represent functionalities whose design is delayed to a later stage. They shall be eventually replaced by a state machine model in a refinement step. Additional information on cover can be found at https://github.com/claudiomenghi/CHIA