scientific article; zbMATH DE number 1852164

zbMATH Open1002.68639MaRDI QIDQ4787239FDOQ4787239

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (7)

• Understanding counterexamples for relational properties with \textit{DIbugger}
• Title not available (Why is that?)
• Semi-formal verification of memory systems by symbolic simulation
• A formal semantics for program debugging
• Explaining counterexamples using causality
• Title not available (Why is that?)
• CTL Model-Checking with Graded Quantifiers

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)