Pages that link to "Item:Q2695364"
From MaRDI portal
The following pages link to On algebra of program correctness and incorrectness (Q2695364):
Displaying 8 items.
- Correctness criteria for algebraic closures of the estimate-calculating algorithm model (Q954216) (← links)
- Algebraic implementations preserve program correctness (Q1079358) (← links)
- Terme, Gleichungen, Ungleichungen (Q2936472) (← links)
- (Q2990851) (← links)
- Algebraic models of correctness for microprocessors (Q5930075) (← links)
- Adversarial logic (Q6109430) (← links)
- Program correctness and matricial iteration theories (Q6171779) (← links)
- Low-level reachability analysis based on formal logic (Q6535328) (← links)