scientific article; zbMATH DE number 1852164

MaRDI QIDQ4787239zbMATHFDO

Authors Fady Copty, Amitai Irron, Osnat Weissberg, Nathan Kropp, Gila Kamhi

Publication date 9 January 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2144/21440275

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical problems of computer architecture (68M07)

Recommendations

• Fundamental Approaches to Software Engineering
• Debugging of concurrent systems using counterexample analysis
• Semi-formal verification of memory systems by symbolic simulation
• scientific article; zbMATH DE number 2080065
• Reveal: A Formal Verification Tool for Verilog Designs

Cited in

(7)

• Understanding counterexamples for relational properties with \textit{DIbugger}
• scientific article; zbMATH DE number 1191738 (Why is no real title available?)
• CTL Model-Checking with Graded Quantifiers
• Explaining counterexamples using causality
• Semi-formal verification of memory systems by symbolic simulation
• A formal semantics for program debugging
• scientific article; zbMATH DE number 1368925 (Why is no real title available?)

This page was built for publication:

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