A Aralex Aachen research explorer

January 01, 2008 conference-paper

Z3: An Efficient SMT Solver

Lecture notes in computer science

DOI: 10.1007/978-3-540-78800-3_24 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 66 stored of 6,545

Inferring Lower Runtime Bounds for Integer Programs
2020 ACM Transactions on Programming Languages and Systems article Computer Science Logic, programming, and type systems Open access

12

citations
Model-Guided Synthesis of Inductive Lemmas for FOL with Least Fixpoints
2020 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

0

citations
Parameter synthesis in Markov models
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

27

citations
PrIC3: Property Directed Reachability for MDPs
2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

15

citations
Probabilistic Hyperproperties with Nondeterminism
2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

23

citations
Robustness Verification for Classifier Ensembles
2020 Lecture notes in computer science conference-paper Computer Science Adversarial Robustness in Machine Learning Open access

11

citations

References 0