The following pages link to V. A. Nepomnyashchij (Q174086):
Displaying 38 items.
- One approach to the specification and verification of translators (Q801659) (← links)
- Proving linear algebra program correctness (Q1052816) (← links)
- Elimination of loop invariants in program verification (Q1065537) (← links)
- Problem-oriented program verification (Q1082069) (← links)
- Emptiness problem for program charts. II (Q1133309) (← links)
- Elimination of identity assignments in standard program schemata (Q1142576) (← links)
- Verification of file manipulation programs in the language PASCAL (Q1157145) (← links)
- Problem-oriented approach to verification of file-processing programs (Q1183788) (← links)
- (Q1237524) (redirect page) (← links)
- Emptiness problem for program flow diagrams. I (Q1237525) (← links)
- Problem-oriented verification system and its application to linear algebra programs (Q1311971) (← links)
- Problem-oriented knowledge bases and their application in the program verification system SPEKTR (Q1386947) (← links)
- Verification of finite iterations over tuples of data structures (Q1403234) (← links)
- Verification of linear algebra programs in the SPEKTR system (Q1816342) (← links)
- Verification of a finite iteration over data structures (Q1974308) (← links)
- Verification of finite iterations over collections of variable data structures (Q2467973) (← links)
- Application of Petri nets in verification of distributed systems represented in the Estelle language (Q2566429) (← links)
- (Q2979821) (← links)
- (Q2979840) (← links)
- (Q2979849) (← links)
- (Q2979871) (← links)
- Nondeterministic program schemata and their relation to dynamic logic (Q3034804) (← links)
- The totality problem for program schemas (Q3675509) (← links)
- Problem-oriented program verification system ?SPEKTR? (Q3802589) (← links)
- (Q4109268) (← links)
- (Q4117380) (← links)
- (Q4166190) (← links)
- (Q4172040) (← links)
- (Q4499485) (← links)
- Boris Abramovich Trakhtenbrot (Q5074416) (← links)
- (Q5547578) (← links)
- (Q5586329) (← links)
- (Q5586364) (← links)
- (Q5628106) (← links)
- (Q5643959) (← links)
- (Q5656374) (← links)
- Rudimentary interpretation of two-tape turing computation (Q5656749) (← links)
- (Q5685063) (← links)
