The following pages link to (Q4817541):
Displaying 19 items.
- Program verification using symbolic game semantics (Q477213) (← links)
- Competent predicate abstraction in model checking (Q543199) (← links)
- Predicate abstraction in a program logic calculus (Q549686) (← links)
- Verifying time partitioning in the DEOS scheduling kernel (Q816194) (← links)
- Algebraic simulations (Q844884) (← links)
- Specification and verification of data-driven Web applications (Q878758) (← links)
- Efficient SAT-based bounded model checking for software verification (Q947794) (← links)
- A local approach for temporal model checking of Java bytecode (Q1776379) (← links)
- Correctness kernels of abstract interpretations (Q2252528) (← links)
- Abstractions of data types (Q2491212) (← links)
- Using heuristic search for finding deadlocks in concurrent systems (Q2573636) (← links)
- Program verification with interacting analysis plugins (Q2642983) (← links)
- Counter Abstraction in the CSP/FDR setting (Q2810979) (← links)
- A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems (Q2835866) (← links)
- Predicate Abstraction for Program Verification (Q3176373) (← links)
- Model Checking Parameterized Systems (Q3176379) (← links)
- Predicate Abstraction in a Program Logic Calculus (Q3605465) (← links)
- Compositional Predicate Abstraction from Game Semantics (Q3617753) (← links)
- An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures (Q5452601) (← links)
