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 60 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 Semantic difference analysis for model compositions of class diagrams, OCL constraints, and object diagrams 2026 Innovations in Systems and Software Engineering article Computer Science Model-Driven Software Engineering Techniques Open access 0 citations The revised practitioner’s guide to MDP model checking algorithms 2026 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access 1 citations Modular Automatic Complexity Analysis of Recursive Integer Programs 2026 Lecture notes in computer science conference-paper Computer Science Constraint Satisfaction and Optimization 1 citations Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing 2026 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification 1 citations Accelerating Loops with Arrays 2026 Lecture notes in computer science conference-paper Open access 0 citations Caesar: A Deductive Verifier for Probabilistic Programs 2026 Lecture notes in computer science conference-paper Open access 0 citations KoAT: Automatic Complexity and Termination Analysis of Integer Programs 2026 Lecture notes in computer science conference-paper Open access 0 citations Komplexitätsbeherrschung und Aufwandsreduktion in der Avioniksystementwicklung 2025 Informatik-Spektrum article Computer Science Formal Methods in Verification 0 citations Towards Transformation of Formal Descriptions into SMT Models for Modular Plant Configurations 2025 conference-paper Engineering Flexible and Reconfigurable Manufacturing Systems 1 citations IC3 for Loop Invariant Generation in Deductive Analysis 2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification 0 citations Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back 2025 Proceedings of the ACM on Programming Languages article Computer Science Formal Methods in Verification Open access 2 citations Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability 2025 conference-paper Computer Science Quantum Computing Algorithms and Architecture 0 citations AProVE (KoAT + LoAT) 2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access 5 citations Quantifier Elimination and Craig Interpolation: The Quantitative Way 2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access 0 citations A Divide-and-Conquer Approach to Variable Elimination in Linear Real Arithmetic 2024 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access 3 citations Integrating Loop Acceleration Into Bounded Model Checking 2024 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access 7 citations Automatic Fuzzing of Asset Administration Shells as Digital Twins for Industry 4.0 2024 conference-paper Engineering Digital Transformation in Industry Open access 7 citations veriSIMPLER: An Automated Formal Verification Methodology for SIMPLER MAGIC Design Style Based In-Memory Computing 2024 IEEE Transactions on Circuits and Systems I Regular Papers article Engineering Advanced Memory and Neural Computing 7 citations 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 Formal Methods in Verification Open access 6 citations 1–20 of 60 Page 1 / 3 Next → References 0