Tools
 
  • VInTime: a tool suite for the verification of Real Time systems
     
  • ObsSlice: a time automated slicer
     
  • VTS: a notation for expressing real-time requirements in a visual and friendly, yet powerful, language, by means of negative scenarios.
     
  • SetPoint: an aspect-oriented tool based on semantic pointcuts, developed using Microsoft's .NET framework.
     
  • TraceIt!: event trace generator for distributed real-time applications.
     
  • JScoper: an Eclipse plug-in to translate Java applications to Java Real Time.
     
  • JConsume: Automatic inference of parametric specifications of dynamic memory requirements.
     
  • Resource Contracts.NET: An extenstion of Code Contracts to specify and verify memory consumption constraints in .NET programs
     
  • Zeus: a distributed model checker that evolves from KRONOS.
     
  • MTSA: the Modal Transition System Analyzer.
     
  • BudaPest: an automated software verifier
     
  • Contractor: a contract validation tool
     
  • Contractor.NET : A Visual Studio extension for .NET validation and specification strengthening.