Pages that link to "Item:Q4208876"
From MaRDI portal
The following pages link to Software reliability via run-time result-checking (Q4208876):
Displaying 10 items.
- Convergence analysis of evolutionary algorithms in the presence of crash-faults and cheaters (Q356419) (← links)
- Certifying algorithms (Q465678) (← links)
- Optimal length resolution refutations of difference constraint systems (Q846163) (← links)
- Linear-time certifying algorithms for near-graphical sequences (Q1045061) (← links)
- Recognition and computation of minimal triangulations for AT-free claw-free and co-comparability graphs (Q1763474) (← links)
- Problem identification using program checking (Q1765236) (← links)
- A survey on delegated computation (Q2163976) (← links)
- From Search to Computation: Redundancy Criteria and Simplification at Work (Q4916077) (← links)
- AUTOMATIC RESULT VERIFICATION BY COMPLETE RUN-TIME CHECKING OF COMPUTATIONS (Q5249251) (← links)
- Session-typed concurrent contracts (Q5925542) (← links)