The following pages link to (Q2769592):
Displaying 25 items.
- Lost in abstraction: monotonicity in multi-threaded programs (Q729809) (← links)
- Verifying time partitioning in the DEOS scheduling kernel (Q816194) (← links)
- Data structures for symbolic multi-valued model-checking (Q862857) (← links)
- Verification and falsification of programs with loops using predicate abstraction (Q968302) (← links)
- CPBPV: a constraint-programming framework for bounded program verification (Q968353) (← links)
- Symbolic perimeter abstraction heuristics for cost-optimal planning (Q1647507) (← links)
- A unifying view on SMT-based software verification (Q1703012) (← links)
- Experience of improving the BLAST static verification tool (Q1758710) (← links)
- Efficient strategies for CEGAR-based model checking (Q2209549) (← links)
- Syntax-guided synthesis for lemma generation in hardware model checking (Q2234081) (← links)
- Infinite-state invariant checking with IC3 and predicate abstraction (Q2363814) (← links)
- A divide-and-conquer approach for analysing overlaid data structures (Q2441710) (← links)
- Abstractions of data types (Q2491212) (← links)
- On finite-state approximants for probabilistic computation tree logic (Q2576951) (← links)
- Trading Plaintext-Awareness for Simulatability to Achieve Chosen Ciphertext Security (Q2798768) (← links)
- Automated formal analysis and verification: an overview (Q2871577) (← links)
- Whale: An Interpolation-Based Algorithm for Inter-procedural Verification (Q2891400) (← links)
- Sound and Complete Abstract Graph Transformation (Q3098055) (← links)
- SAT-Based Model Checking (Q3176368) (← links)
- Abstraction and Abstraction Refinement (Q3176371) (← links)
- Interpolation and Model Checking (Q3176372) (← links)
- Predicate Abstraction for Program Verification (Q3176373) (← links)
- Combining Model Checking and Data-Flow Analysis (Q3176374) (← links)
- Symbolic Trajectory Evaluation (Q3176383) (← links)
- Static Detection of DoS Vulnerabilities in Programs that Use Regular Expressions (Q3303917) (← links)
