Temporal Logic : Nonstandard Logics and Extensions : Logic and Foundations : Mathematics : Science and Technology : Web Directory by Internet-Web-Directory.com

Skip to Content

Web Directory >> Science and Technology >> Mathematics >> Logic and Foundations >> Nonstandard Logics and Extensions >> Temporal Logic

Temporal Logic (Subscribe)

Links

JMCA - Java ModelChecking Application

http://www.jmca.de.vu

JMCA is an Java application for formally verifying finite-state concurrent systems using temporal logic formulas (ltl formulas).

More Details Review It Rate It Bookmark It

TemporalRover

http://www.time-rover.com/

Provides automatic verification of protocols and reactive systems through temporal logic specifications.

More Details Review It Rate It Bookmark It