Integrating temporal assertions into a parallel debugger

DOI10.1007/3-540-45706-2_12MaRDI QIDQ4813007zbMATH OpenFDO

Authors József Kovács, Gábor Kusper, Robert Lovas, Wolfgang Schreiner

Publication date 12 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2400/24000113.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Temporal debugging for concurrent systems
• The use of erratic behavior templates in debugging parallel programs by the automated validity verification method
• scientific article; zbMATH DE number 1262852
• scientific article; zbMATH DE number 4052975
• scientific article; zbMATH DE number 47403

Cited in

(8)

• The use of erratic behavior templates in debugging parallel programs by the automated validity verification method
• A new approach to parallel debugger architecture
• Collective assertions
• scientific article; zbMATH DE number 4005582 (Why is no real title available?)
• ROS: The rollback-one-step method to minimize the waiting time during debugging long-running parallel programs
• Debugging VHDL designs using temporal process instances
• Temporal debugging for concurrent systems
• Parallel assertions for architectures with weak memory models

This page was built for publication: Integrating temporal assertions into a parallel debugger

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4813007)