Pages that link to "Item:Q3541980"

The following pages link to Weakest Preconditions for High-Level Programs (Q3541980):

Displaying 13 items.

• Monadic second-order incorrectness logic for GP 2 (Q2096431) (← links)
• Incorrectness logic for graph programs (Q2117260) (← links)
• Theorem proving graph grammars with attributes and negative application conditions (Q2358623) (← links)
• High-Level Programs and Program Conditions (Q3540400) (← links)
• Resolution-Like Theorem Proving for High-Level Conditions (Q3540406) (← links)
• Development of Correct Graph Transformation Systems (Q3540429) (← links)
• Application of Graph Transformation in Verification of Dynamic Systems (Q3605472) (← links)
• Correctness of high-level transformation systems relative to nested conditions (Q3625675) (← links)
• Interactive and automated proofs for graph transformations (Q4585009) (← links)
• (Q5021219) (← links)
• An Algorithm for Approximating the Satisfiability Problem of High-level Conditions (Q5403460) (← links)
• -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation (Q5740375) (← links)
• Reasoning formally about database queries and updates (Q6535969) (← links)