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 Search Sort Most cited Newest Oldest Patent citations Title Any typearticle review book-chapter conference-paper preprint dissertation book dataset other Any fieldAgricultural and Biological Sciences Arts and Humanities Biochemistry, Genetics and Molecular Biology Business, Management and Accounting Chemical Engineering Chemistry Computer Science Decision Sciences Dentistry Earth and Planetary Sciences Economics, Econometrics and Finance Energy Engineering Environmental Science Health Professions Immunology and Microbiology Materials Science Mathematics Medicine Neuroscience Nursing Pharmacology, Toxicology and Pharmaceutics Physics and Astronomy Psychology Social Sciences Veterinary Open access Parameter synthesis for Markov models: covering the parameter space 2024 Formal Methods in System Design article Computer Science Formal Methods in Verification Open access 20 citations Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in KoAT (Short Paper) 2024 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access 6 citations Satisfiability Modulo Exponential Integer Arithmetic 2024 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access 4 citations Semantics Enhancing Model Transformation for Automated Constraint Validation of Palladio Software Architecture to MontiArc Models 2024 Lecture notes in computer science conference-paper Computer Science Model-Driven Software Engineering Techniques 0 citations SMT: Something You Must Try 2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification 1 citations Analysis and Formal Specification of OpenJDK’s BitSet 2023 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access 1 citations A Deductive Verification Infrastructure for Probabilistic Programs 2023 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access 22 citations Maturity Evaluation of SDKs for I4.0 Digital Twins 2023 IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) conference-paper Engineering Digital Transformation in Industry Open access 18 citations A Practitioner’s Guide to MDP Model Checking Algorithms 2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access 35 citations Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants 2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access 33 citations Proving Non-Termination by Acceleration Driven Clause Learning (Short Paper) 2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access 6 citations ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses 2023 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems 5 citations Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs 2023 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access 7 citations Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration 2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access 6 citations Automated Exercise Generation for Satisfiability Checking 2023 Lecture notes in computer science conference-paper Computer Science Educational Technology and Assessment 2 citations Subtropical Satisfiability for SMT Solving 2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification 1 citations Introducing Asynchronicity to Probabilistic Hyperproperties 2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification 1 citations Optimizing Quantum Space Using Spooky Pebble Games 2023 Lecture notes in computer science conference-paper Computer Science Quantum Computing Algorithms and Architecture Open access 6 citations Incremental Property Directed Reachability 2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification 1 citations Model-guided synthesis of inductive lemmas for FOL with least fixpoints 2022 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access 11 citations 21–40 of 66 ← Previous Page 2 / 4 Next → References 0