Isabelle C parser

E2041211 UNEXPLORED

Isabelle C parser is a tool within the Isabelle/HOL proof assistant that translates C programs into a formal representation suitable for rigorous semantic analysis and verification.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
Isabelle C parser canonical	1

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

semantics of C in Isabelle/HOL → relatedTo → Isabelle C parser ⓘ