Pages that link to "Item:Q1311971"
From MaRDI portal
The following pages link to Problem-oriented verification system and its application to linear algebra programs (Q1311971):
Displaying 10 items.
- Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers (Q779625) (← links)
- A method of obtaining verified solutions for linear systems suited for Java (Q861896) (← links)
- Problem-oriented knowledge bases and their application in the program verification system SPEKTR (Q1386947) (← links)
- Generalised multi-pattern-based verification of programs with linear linked structures (Q2642987) (← links)
- A new PCP outer verifier with applications to homogeneous linear equations and max-bisection (Q3580955) (← links)
- Problem-oriented program verification system ?SPEKTR? (Q3802589) (← links)
- (Q4851622) (← links)
- Parallel Processing and Applied Mathematics (Q5307366) (← links)
- (Q5445175) (← links)
- Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs (Q5452196) (← links)