Search results
From MaRDI portal
- Publication Type Partial predicate abstraction and counter-example guided refinement 2020-01-31 Paper Combining Predicate Abstraction with Fixpoint Approximations...10 bytes (13 words) - 01:38, 7 October 2023
- 2010-09-16 Paper Cell pattern and stagnation ring of the flow driven by the counter-rotation in a fluid-filled cylinder 2010-09-16 Paper Erosion and penetration...10 bytes (12 words) - 01:18, 25 September 2023
- theorem for martingale-difference random field 1999-06-16 Paper 3D mesh refinement in compliance with a specified node spacing function 1999-05-30 Paper...10 bytes (13 words) - 09:02, 24 September 2023
- system with vertical dissipation 2018-06-21 Paper Orientation field guided line abstraction for 3D printing 2018-06-21 Paper Sharp weighted bounds for multilinear...10 bytes (12 words) - 16:16, 24 September 2023
- Paper Topological charges of noncommutative soliton 2001-02-06 Paper Counter-examples to a problem of Cohn on classifying characters 2001-02-06 Paper Multiple...10 bytes (12 words) - 15:16, 24 September 2023
- separability of context-free languages, based on counter-example guided abstraction refinement. We propose two refinement methods, one inexpensive but incomplete...15 bytes (346 words) - 01:42, 30 January 2024
- symmetric Toda systems on rank-2 groups 2018-03-01 Paper SMT and POR beat counter abstraction: parameterized model checking of threshold-based distributed algorithms...10 bytes (12 words) - 13:22, 28 January 2024
- important applications such as Predicate Abstraction, CounterExample Guided Abstraction Refinement and Lazy Abstraction With Interpolants. Most state-of-the-art...15 bytes (355 words) - 15:29, 8 February 2024
- Keywords hybrid automataabstract interpretercounter-example guided abstraction refinement (CEGAR)spurious counter-examplestemplate polyhedra Mathematics Subject...15 bytes (469 words) - 12:10, 4 February 2024
- Counterexample-guided abstraction refinement for symbolic model checking 👍 👎 Model Checking Recursive Programs with Exact Predicate Abstraction 👍 👎 Counterexample-guided...15 bytes (451 words) - 11:11, 8 February 2024
- losing is better than winning: abstraction and refinement for the full \(\mu\)-calculus Verification by augmented abstraction: The automata-theoretic view...15 bytes (588 words) - 13:55, 31 January 2024
- equations Counterexample Guided Path Reduction for Static Program Analysis Partial predicate abstraction and counter-example guided refinement SMT proof checking...15 bytes (316 words) - 19:10, 4 February 2024
- paper we present a counter-example guided abstraction and approximation refinement (CEGAAR) technique for {em partial predicate abstraction}, which combines...15 bytes (347 words) - 13:09, 2 February 2024
- Predicate Abstraction in the K Framework Partial predicate abstraction and counter-example guided refinement A sound and complete abstraction for reasoning...15 bytes (307 words) - 11:57, 7 February 2024
- predicate abstraction and counter-example guided refinement 👍 👎 Combining Predicate Abstraction with Fixpoint Approximations 👍 👎 Predicate Abstraction of...15 bytes (259 words) - 22:19, 8 February 2024
- specifications Partial predicate abstraction and counter-example guided refinement Thread-modular counter abstraction: automated safety and termination...15 bytes (244 words) - 20:48, 8 February 2024
- verification of infinite state systems Partial predicate abstraction and counter-example guided refinement Proving VLRL action properties with the Maude model...15 bytes (255 words) - 14:29, 30 January 2024
- Boolean Satisfiability Problems Partial predicate abstraction and counter-example guided refinement On a Characteristic Feature of the Positive Logics...15 bytes (799 words) - 22:04, 3 February 2024
- Minimization for Compositional Analysis Partial predicate abstraction and counter-example guided refinement A two-scale model for an array of AFM's cantilever...15 bytes (304 words) - 10:49, 3 February 2024
- generalization of deep learning to out-of-distribution domains SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks Sparse polynomial optimisation...15 bytes (1,219 words) - 23:48, 1 February 2024
