The use of erratic behavior templates in debugging parallel programs by the automated validity verification method

DOI10.1134/S1064230717040153zbMath1472.68031OpenAlexW2751483341MaRDI QIDQ1745866

A. Yu. Vlasenko, A. M. Gudov

Publication date: 18 April 2018

Published in: Journal of Computer and Systems Sciences International (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s1064230717040153

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• Guard
• C-DVM
• MARMOT
• TotalView

Cites Work

• Unnamed Item

This page was built for publication: The use of erratic behavior templates in debugging parallel programs by the automated validity verification method