Pages that link to "Item:Q5387908"
From MaRDI portal
The following pages link to Sequential, Parallel, and Quantified Updates of First-Order Structures (Q5387908):
Displaying 11 items.
- Predicate abstraction in a program logic calculus (Q549686) (← links)
- Integration of a security type system into a program logic (Q935469) (← links)
- Update schedules of sequential dynamical systems (Q2492198) (← links)
- Satisfiability Solving and Model Generation for Quantified First-Order Logic Formulas (Q3067537) (← links)
- Specifying Imperative ML-Like Programs Using Dynamic Logic (Q3067541) (← links)
- Dynamic Frames in Java Dynamic Logic (Q3067542) (← links)
- A Dynamic Logic with Traces and Coinduction (Q3455778) (← 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)
- Verification by Parallelization of Parametric Code (Q5426003) (← links)