The following pages link to Programming Languages and Systems (Q5493379):
Displayed 10 items.
- Predicate abstraction in a program logic calculus (Q549686) (← links)
- Modular inference of subprogram contracts for safety checking (Q604392) (← links)
- Deaccumulation techniques for improving provability (Q882487) (← links)
- Verification and falsification of programs with loops using predicate abstraction (Q968302) (← links)
- Automatic Inference of Access Permissions (Q2891412) (← links)
- Predicate Abstraction in a Program Logic Calculus (Q3605465) (← links)
- Could We Have Chosen a Better Loop Invariant or Method Contract? (Q3637252) (← links)
- Abstract Interpretation of Symbolic Execution with Explicit State Updates (Q3638994) (← links)
- Falsifying Safety Properties Through Games on Over-approximating Models (Q4982087) (← links)
- Verification by Parallelization of Parametric Code (Q5426003) (← links)