Not finding it? Sign in to also search OpenAlex live.
-
Experiments and Details for "Scaling Automated Program Verification and Complexity Analysis: From Decidability for Single-Path Loops to Integer Programs and Beyond''0citations
-
Experiments and Details for "Scaling Automated Program Verification and Complexity Analysis: From Decidability for Single-Path Loops to Integer Programs and Beyond''0citations
-
Caesar: A Deductive Verifier for Probabilistic Programs (CAV26 Artifact)2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Logic, programming, and type systems Open access
Philipp Schröer, Kevin Batz, Umut Yiğit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, +1 more
1citations -
Caesar: A Deductive Verifier for Probabilistic Programs (CAV26 Artifact)2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Logic, programming, and type systems Open access
Philipp Schröer, Kevin Batz, Umut Yiğit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, +1 more
0citations
14 results