The following pages link to BLAST (Q15473):
Displayed 50 items.
- Boosting Lazy Abstraction for SystemC with Partial Order Reduction (Q3000665) (← links)
- Sets with Cardinality Constraints in Satisfiability Modulo Theories (Q3075499) (← links)
- Craig Interpolation in the Presence of Non-linear Constraints (Q3172854) (← links)
- Abstraction and Abstraction Refinement (Q3176371) (← links)
- Combining Model Checking and Data-Flow Analysis (Q3176374) (← links)
- Lazy Abstraction-Based Controller Synthesis (Q3297583) (← links)
- Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation (Q3303900) (← links)
- Explicit State Model Checking for Graph Grammars (Q3507360) (← links)
- Slicing Abstractions (Q3508510) (← links)
- Proving Termination of Tree Manipulating Programs (Q3510793) (← links)
- Using Counterexample Analysis to Minimize the Number of Predicates for Predicate Abstraction (Q3510827) (← links)
- Predicate Abstraction of Programs with Non-linear Computation (Q3522920) (← links)
- Interpolants for Linear Arithmetic in SMT (Q3540071) (← links)
- Heuristic Search for the Analysis of Graph Transition Systems (Q3541978) (← links)
- Automatic Modular Abstractions for Template Numerical Constraints (Q3575308) (← links)
- Towards Automatic Stability Analysis for Rely-Guarantee Proofs (Q3600463) (← links)
- Query-Driven Program Testing (Q3600472) (← links)
- Fixpoint-Guided Abstraction Refinements (Q3612008) (← links)
- Compositional Predicate Abstraction from Game Semantics (Q3617753) (← links)
- Verifying Reference Counting Implementations (Q3617768) (← links)
- (Q3619270) (← links)
- Cardinality Abstraction for Declarative Networking Applications (Q3636882) (← links)
- Incremental False Path Elimination for Static Software Analysis (Q3648704) (← links)
- Collaborative Verification and Testing with Explicit Assumptions (Q4647837) (← links)
- Verifying Parallel Algorithms and Programs Using Coloured Petri Nets (Q4909354) (← links)
- Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic (Q5039504) (← links)
- Integrating Topological Proofs with Model Checking to Instrument Iterative Design (Q5039527) (← links)
- A traversal-based algorithm for higher-order model checking (Q5168915) (← links)
- Counterexample Guided Path Reduction for Static Program Analysis (Q5187836) (← links)
- Interpolant Generation for UTVPI (Q5191101) (← links)
- Challenges in Constraint-Based Analysis of Hybrid Systems (Q5191406) (← links)
- Predicate Abstraction in Program Verification: Survey and Current Trends (Q5240105) (← links)
- Verification: Theory and Practice (Q5305649) (← links)
- Hybrid Systems: Computation and Control (Q5307930) (← links)
- Model Checking Software (Q5308365) (← links)
- Computer Aided Verification (Q5312914) (← links)
- Programming Languages and Systems (Q5316577) (← links)
- Information Reuse for Multi-goal Reachability Analyses (Q5326302) (← links)
- LMS-Verify: abstraction without regret for verified systems programming (Q5370919) (← links)
- Integration of a Software Model Checker into Isabelle (Q5387852) (← links)
- Inductive Decidability Using Implicit Induction (Q5387883) (← links)
- Static Analysis (Q5466553) (← links)
- (Q5696417) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703772) (← links)
- Computer Aided Verification (Q5716544) (← links)
- Computer Aided Verification (Q5716558) (← links)
- Abstraction Refinement of Linear Programs with Arrays (Q5758120) (← links)
- Static Analysis (Q5897431) (← links)
- Model Checking Software (Q5899041) (← links)
- Model Checking Software (Q5899042) (← links)