The following pages link to Nikolai Kosmatov (Q682365):
Displayed 9 items.
- Cut branches before looking for bugs: certifiably sound verification on relaxed slices (Q682366) (← links)
- How testing helps to diagnose proof failures (Q1624590) (← links)
- Certified verification of relational properties (Q2165505) (← links)
- Runtime abstract interpretation for numerical accuracy and robustness (Q2234076) (← links)
- Projective resolutions and Yoneda algebras for algebras of dihedral type. (Q2642947) (← links)
- Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices (Q2801762) (← links)
- (Q4681539) (← links)
- A data flow model with frequency arithmetic (Q6091326) (← links)
- Efficient computation of arbitrary control dependencies (Q6165552) (← links)