claudiomenghi

MAPmAKER

Multi-robot plAnner for PArtially Known EnviRonments

TACK

Timed Automata ChecKer

PsAlM

Pattern bAsed MIssion Specifier

FIDDLE

Framework for Iterative and Distributed Design of componEnts

Rest2Ros

Converts REST into ROS messages

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.

checkerForHybridAutomata

Checker for MITL formulae on Hybrid Automata

claudiomenghi.github.io

Contains my personal website

CTL

Computation Tree Logic

dslzoo

Robotics DSL Zoo

Eclipsecpp

Formal-Methods-Courses

Here we collect worldwide courses teaching formal methods

group_00

Group_AAA

LTL

Linear Time Temporal Logic

markdown-licenses

A collection of open source licenses in Markdown format. Contributions are always welcome!

MITLSat

NetworkCommunication

Patterns

Contains patterns for robotic missions

RFOL

Restricted Signals First-Order Logic (RFOL)

rose6icse

torpedo

Partial kripke structure LTL model checker