claudiomenghi's repositories
ARIsTEO-1
AppRoxImation-based TEst generatiOn
Language:MATLABGPL-2.0000
CHIA
CHecher for Incomplete Automata
Language:Java000
COVER
COVER (Change-based gOal VErifier and Reasoner) is a unified framework that supports the interplay between requirements engineer and software designer.
Language:Java000
checkerForHybridAutomata
Checker for MITL formulae on Hybrid Automata
Language:Java000
claudiomenghi.github.io
Contains my personal website
Language:HTML000
CTL
Computation Tree Logic
Language:Java000
dslzoo
Robotics DSL Zoo
Language:TeX000
000
Formal-Methods-Courses
Here we collect worldwide courses teaching formal methods
000
Language:Java000
Language:Java000
LTL
Linear Time Temporal Logic
Language:Java000
markdown-licenses
A collection of open source licenses in Markdown format. Contributions are always welcome!
Unlicense000
Language:Java000
Language:Java000
Patterns
Contains patterns for robotic missions
Language:Java000
RFOL
Restricted Signals First-Order Logic (RFOL)
Language:Java000
000
torpedo
Partial kripke structure LTL model checker
Language:ScalaAGPL-3.0000