Frama-C
ToolFirst seen 6/7/2026
Last seen 6/7/2026
Evidence 1 chunks
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
3 connectionsThe paper mentions Frama-C as a related tool
Frama-C is based on axiomatic semantics
Frama-C modules rely on ACSL specification language