scientific article; zbMATH DE number 1979553

MaRDI QIDQ4427906zbMATH OpenFDO

Authors Marc Solé, Enric Pastor

Publication date 14 September 2003

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computer science aspects of computer-aided design (68U07)

Recommendations

• scientific article; zbMATH DE number 1786639
• Improving BDD based symbolic model checking with isomorphism exploiting transition relations
• scientific article; zbMATH DE number 1903372
• scientific article; zbMATH DE number 1507203
• scientific article; zbMATH DE number 1629966

Cited in

(6)

• Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams
• scientific article; zbMATH DE number 1786639 (Why is no real title available?)
• scientific article; zbMATH DE number 1903372 (Why is no real title available?)
• Improving BDD based symbolic model checking with isomorphism exploiting transition relations
• Formal Methods in Computer-Aided Design
• Correct Hardware Design and Verification Methods

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