LeonardoSaccotelli/Formal-Methods-For-Computer-Science

Collection of different tasks implemented in the context of Formal Methods for Computer Science. We explore Finite State Machine, State Charts and NuSMV for formal model checking. In addition we also explore the Petri Nets in the context of Process Mining.

11
/ 100
Experimental

No commits in the last 6 months.

Stale 6m No Package No Dependents
Maintenance 0 / 25
Adoption 0 / 25
Maturity 11 / 25
Community 0 / 25

How are scores calculated?

Stars

—

Forks

—

Language

Jupyter Notebook

License

MIT

Category

llm-comparison-evaluation

Last pushed

Feb 28, 2025

Commits (30d)

0

GitHub
Llm Comparison Evaluation · 7 tools

Get this data via API

curl "https://pt-edge.onrender.com/api/v1/quality/ai-coding/LeonardoSaccotelli/Formal-Methods-For-Computer-Science"

Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.

Higher-rated alternatives

THU-WingTecher/LSPRAG

Real-time multi-language unit test generation tool via LSP

46

metareflection/dafny-replay

Verified kernels, written in Dafny and compiled to JavaScript, for correct-by-construction state...

34

santinic/unvibe

Generate correct code from unit-tests

33

bigcode-project/bigcodearena

BigCodeArena: Unveiling More Reliable Human Preferences in Code Generation via Execution

32

adilanwar2399/ESBMC-ibmc

The ESBMC ibmc (Invariant Based Model Checking) Tool.

27

Explore AI Coding Tools

All categories Trending AI Coding directory Insights