Recursos de colección

Caltech Authors (147.820 recursos)

Repository of works by Caltech published authors.

Type = Software

Mostrando recursos 1 - 2 de 2

  1. Tau -- a lightweight tool for specifying and verifying tiny automata models

    Holzmann, Gerard
    Tau is a small Tcl/Tk application that can be used to quickly specify and formally verify small automata models (the name 'tau' is short for 'tiny automata'). It is used as a teaching aid in CS118, a course on the formal verification of asynchronous software systems using logic model checking. Tau requires the availability of a standard C compiler (e.g., gcc) and a recent version of the Spin model checker (e.g., Version 6.4.3 or later) as background tools.
    (application/x-gzip) - 23-jul-2015

  2. Tau -- a lightweight tool for specifying and verifying tiny automata models

    Holzmann, Gerard
    Tau is a small Tcl/Tk application that can be used to quickly specify and formally verify small automata models (the name 'tau' is short for 'tiny automata') It is used as a teaching aid in CS118, a course on the formal verification of asynchronous software systems using logic model checking. Tau requires the availability of a standard C compiler (e.g., gcc) and a recent version of the Spin model checker (e.g., Version 6.4.3 or later) as background tools.
    (application/x-gzip) - 24-mar-2015

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.