scientific article; zbMATH DE number 1765705

MaRDI QIDQ4539647zbMATH OpenFDO

Authors Wolfgang Reif, Gerhard Schellhorn, Andreas Thums

Publication date 10 July 2002

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• Automated flaw detection in algebraic specifications
• Counterexamples revisited: principles, algorithms, applications
• Counterexample classification
• Fundamental Approaches to Software Engineering
• scientific article; zbMATH DE number 1982201

Cited in

(7)

• Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools
• Automating Algebraic Specifications of Non-freely Generated Data Types
• scientific article; zbMATH DE number 2090301 (Why is no real title available?)
• Generating counterexamples for structural inductions by exploiting nonstandard models
• Formal fault tree analysis -- practical experiences
• Bounded Relational Analysis of Free Data Types
• Automated flaw detection in algebraic specifications

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 Q4539647)