CHC Model Validation with Proof Guarantees

Rodrigo Otoni, Martin Blicha, Patrick Eugster, Natasha Sharygina
January 2023
Cite DOI URL
Type
1
Publication
18th International Conference on integrated Formal Methods (iFM 2023)