The following pages link to (Q5754533):
Displaying 7 items.
- Algebraic implementations preserve program correctness (Q1079358) (← links)
- Generating model checkers from algebraic specifications (Q1600653) (← links)
- Specification languages in algebraic compilers (Q1853753) (← links)
- Algorithmic algebraic model checking. III: Approximate methods (Q2852017) (← links)
- AlPiNA: A Symbolic Model Checker (Q3569873) (← links)
- (Q4986660) (← links)
- Algebraic models of correctness for microprocessors (Q5930075) (← links)