GaloisInc/LIMA
LIMA: Language for Integrated Modeling and Analysis
This tool helps engineers and researchers working on fault-tolerant distributed systems. It takes a single, high-level system specification as input and automatically generates both the executable code (implementation) and formal mathematical models. This ensures consistency between how the system behaves and how it is formally analyzed, which is critical for safety and reliability.
No commits in the last 6 months.
Use this if you need to develop highly reliable, fault-tolerant distributed systems and want to ensure that your system's implementation precisely matches its formal mathematical model.
Not ideal if you are developing general-purpose software that does not require formal verification or if your system is not a fault-tolerant distributed system.
Stars
12
Forks
2
Language
Haskell
License
—
Category
Last pushed
Sep 08, 2018
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/ai-coding/GaloisInc/LIMA"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Higher-rated alternatives
howerj/dbcc
CAN DBC to C (and CSV, JSON and XML) compiler using the mpc parser combinator library
JhnW/devana
Python package to parse and generate C/C++ code as context aware preprocessor.
biojppm/regen
Easy C++ reflection and code generation
SoftSec-KAIST/CodeAlchemist
CodeAlchemist: Semantics-Aware Code Generation to Find Vulnerabilities in JavaScript Engines (NDSS '19)
Samsung/UTopia
UT based automated fuzz driver generation