ligurio / practical-fm Star 498 Code Issues Pull requests A gently curated list of companies using verification formal methods in industry practice coq software-engineering formal-methods formal-verification tlaplus tla-specification formal-verification-methods Updated Jul 3, 2024
zwang271 / WEST Star 4 Code Issues Pull requests Tool for generating regular expressions of set of all satisfying computations to Mission-time Linear Temporal Logic formulas. specification formal-verification-methods mltl intelligent-fuzzing Updated Sep 30, 2024 C++
mrRodrigo / Formal-Stack-implementation Star 0 Code Issues Pull requests Build formal specifications and checks in Dafny for Limited Stack structure. dafny formal-verification formal-verification-methods Updated May 24, 2021 Dafny
felix-e-h-p / ag-reasoning-l-star Star 0 Code Issues Pull requests Implementation of the L* (L Star) based Assume Guarantee Reasoning framework - dynamic DFA input as specification verification formal-verification active-learning automata-learning lstar formal-verification-methods assume-guarantee-reasoning Updated Jul 26, 2024 Python