The following pages link to (Q4417906):
Displaying 7 items.
- A new representation and associated algorithms for generalized planning (Q543617) (← links)
- On the Key Dependent Message Security of the Fujisaki-Okamoto Constructions (Q2798773) (← links)
- View-augmented abstractions (Q2814101) (← links)
- Logical Difference Computation with CEX2.5 (Q2908508) (← links)
- Sound and Complete Abstract Graph Transformation (Q3098055) (← links)
- Bounded Quantifier Instantiation for Checking Inductive Invariants (Q3303891) (← links)
- An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures (Q5452601) (← links)