Raptor

Java tool for reasoning about imperative programs
Download

Raptor Ranking & Summary

Advertisement

  • Rating:
  • License:
  • Freeware
  • Price:
  • FREE
  • Publisher Name:
  • Imperial College London
  • Publisher web site:
  • http://rtm.hep.ph.ic.ac.uk
  • Operating Systems:
  • Mac OS X
  • File Size:
  • 1 KB

Raptor Tags


Raptor Description

Raptor is an application that can be used for reasoning about imperative programs. Raptor can be used to construct proofs of programs just by using the statement kinds of assignment.Reasoning with booleans is also incorporated in the application, as well as integer types and dimensional arrays.Programmed in Java, Raptor can be used on a variety of operating systems, including popular ones such as Windows, Mac OS X, and Linux.


Raptor Related Software

About SoftwareSea