Stars
Translators from SMV to MoXI to BTOR2 and their witnesses.
The Core Flight System (cFS) Health and Safety (HS) application.
Reads a state transition system and performs property checking
Tool for generating regular expressions of set of all satisfying computations to Mission-time Linear Temporal Logic formulas.
Libical is an Open Source implementation of the iCalendar protocols and protocol data units.
COM S 413/513 and CPR E 513 Program Analysis @ Iowa State University
Simple MAVLink to UART interface example for *nix systems