Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time

von Guilloud, Simon
Veröffentlicht in TACAS (28. : 2022 : München) Tools and algorithms for the construction and analysis of systems ; Part 2 (2022)

NP Satisfiability for Arrays as Powers

von Raya, Rodrigo
Veröffentlicht in VMCAI (23. : 2022 : Philadelphia, Pa.) Verification, Model Checking, and Abstract Interpretation (2022)

Generalized Arrays for Stainless Frames

von Schmid, Georg Stefan
Veröffentlicht in VMCAI (23. : 2022 : Philadelphia, Pa.) Verification, Model Checking, and Abstract Interpretation (2022)

Interpolation and Quantifiers in Ortholattices

von Guilloud, Simon
Veröffentlicht in VMCAI (25. : 2024 : London) Verification, model checking and abstract interpretation ; Part 1 (2024)

Computer aided verification : 29th International Conference, CAV 2017 : Heidelberg, Germany, July 24-28, 2017 : proceedings

Veröffentlicht 2017

Computer aided verification : 29th International Conference, CAV 2017 : Heidelberg, Germany, July 24-28, 2017 : proceedings

Veröffentlicht 2017

Computer aided verification : 29th International Conference, CAV 2017 : Heidelberg, Germany, July 24-28, 2017 : proceedings

Verification, model checking, and abstract interpretation : 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22 - 24, 2012 ; proceedings

Veröffentlicht 2012

From Verified Scala to STIX File System Embedded Code Using Stainless

von Hamza, Jad
Veröffentlicht in NFM (14. : 2022 : Pasadena, Calif.) NASA formal methods (2022)

2014 formal methods in computer-aided design (FMCAD 2014) : Lausanne, Switzerland, 21 - 24 October 2014

Veröffentlicht 2014