Pinned Repositories
TACK
Timed Automata ChecKer
PuRSUE
From Specification of Robotic Environments to Synthesis of Controllers
DICE-Trace-Checking
qtlsolver
Satisfiability solver for QTL, MITL and other continuous-time temporal logics (previously hosted as qtlsolver.googlecode.com)
zot
The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)
OSTIA
OSTIA is a parser to elicit and represent Storm Topologies by reverse engineering of Storm-based Big-Data programs. The intent and aim of OSTIA is to automatically represent models of Storm topologies and conduct inference analysis on them before nasty issues at run-time take place. A part of said run-time issues can be avoided by using OSTIA and the analyses intended within it.
dreal3
New version of the dReal solver. More info at
hugo-site
FM Teaching Committee Hugo Website Sources
mbersani.github.io
mbersani's Repositories
mbersani/dreal3
New version of the dReal solver. More info at
mbersani/hugo-site
FM Teaching Committee Hugo Website Sources
mbersani/mbersani.github.io