#

sv-comp

Here is 1 public repository matching this topic...

lisa-analyzer / jlisa

Java static analyzer built on LiSA — abstract interpretation, interprocedural analysis, and formal program verification. SV-COMP 2026 🥉

java static-analysis formal-methods program-analysis program-verification sv-comp formal-verification abstract-interpretation

Updated Mar 17, 2026
Java

Improve this page

Add a description, image, and links to the sv-comp topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the sv-comp topic, visit your repo's landing page and select "manage topics."