TIND

Switzerland

14 Works

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

Gerard Holzmann
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)...

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

Gerard Holzmann
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)...

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

Gerard Holzmann
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)...

tmorrell/test3: DOIs!

Tom Morrell
DOI

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

Gerard Holzmann
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)...

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

Gerard Holzmann
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)...

Test

Thomas Morrell
Test

TestByTind

TestByTind
TestByTind

Orange-brown jasper spectrum

George R. Rossman
Jasper, orange-brown, California. This is a reflectance spectrum off a polished slab.

Red jasper spectrum

George R. Rossman
Jasper, red, Crab lake, Labrador, colored by hematite. This is a reflectance spectrum off a polished slab. The color comes from small inclusions of hematite, Fe2O3, in the quartz.

tmorrell/test4: Trying linking

Tmorrell@Caltech.Edu
Info

tmorrell/test3: Attempt 2

Tmorrell@Caltech.Edu
Attempt 2

tmorrell/test3: After profile

Tmorrell@Caltech.Edu
After setting profile

tmorrell/test3: Testing with auth

Tmorrell@Caltech.Edu
Testing with auth

Resource Types

  • Software
    8
  • Dataset
    6

Publication Year

  • 0000
    14

Data Centers

  • Caltech
    14