Pinned Repositories
ARIsTEO-1
AppRoxImation-based TEst generatiOn
CHIA
CHecher for Incomplete Automata
COVER
COVER (Change-based gOal VErifier and Reasoner) is a unified framework that supports the interplay between requirements engineer and software designer.
FIDDLE
Framework for Iterative and Distributed Design of componEnts
MAPmAKER
Multi-robot plAnner for PArtially Known EnviRonments
PsAlM
Pattern bAsed MIssion Specifier
Rest2Ros
Converts REST into ROS messages
TACK
Timed Automata ChecKer
ARIsTEO
AppRoxImation-based TEst generatiOn
SOCRaTEs
Simulink Oracles for CPS RequiremenTs with uncErtainty
claudiomenghi's Repositories
claudiomenghi/MAPmAKER
Multi-robot plAnner for PArtially Known EnviRonments
claudiomenghi/TACK
Timed Automata ChecKer
claudiomenghi/PsAlM
Pattern bAsed MIssion Specifier
claudiomenghi/FIDDLE
Framework for Iterative and Distributed Design of componEnts
claudiomenghi/Rest2Ros
Converts REST into ROS messages
claudiomenghi/ARIsTEO-1
AppRoxImation-based TEst generatiOn
claudiomenghi/CHIA
CHecher for Incomplete Automata
claudiomenghi/COVER
COVER (Change-based gOal VErifier and Reasoner) is a unified framework that supports the interplay between requirements engineer and software designer.
claudiomenghi/checkerForHybridAutomata
Checker for MITL formulae on Hybrid Automata
claudiomenghi/claudiomenghi.github.io
Contains my personal website
claudiomenghi/CTL
Computation Tree Logic
claudiomenghi/dslzoo
Robotics DSL Zoo
claudiomenghi/Eclipsecpp
claudiomenghi/Formal-Methods-Courses
Here we collect worldwide courses teaching formal methods
claudiomenghi/group_00
claudiomenghi/Group_AAA
claudiomenghi/LTL
Linear Time Temporal Logic
claudiomenghi/markdown-licenses
A collection of open source licenses in Markdown format. Contributions are always welcome!
claudiomenghi/MITLSat
claudiomenghi/NetworkCommunication
claudiomenghi/Patterns
Contains patterns for robotic missions
claudiomenghi/RFOL
Restricted Signals First-Order Logic (RFOL)
claudiomenghi/rose6icse
claudiomenghi/torpedo
Partial kripke structure LTL model checker