The following pages link to Program invariants as fixedpoints (Q1254848):
Displaying 9 items.
- SMT-based model checking for recursive programs (Q518396) (← links)
- Semantics of algorithmic languages (Q760200) (← links)
- Computing differential invariants of hybrid systems as fixed points (Q1039853) (← links)
- Stratified least fixpoint logic (Q1331926) (← links)
- The Birth of Model Checking (Q3512430) (← links)
- Computing Differential Invariants of Hybrid Systems as Fixedpoints (Q3512492) (← links)
- Meanings of Model Checking (Q5187832) (← links)
- Differential Game Logic (Q5277902) (← links)
- (Q5866353) (← links)