scientific article; zbMATH DE number 1069481

zbMATH Open0880.68024MaRDI QIDQ4356433FDOQ4356433

Authors: Jean-Charles Grégoire 

Publication date: 1 October 1997

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

Recommendations

• scientific article; zbMATH DE number 1069493
• Model Checking Software
• Good to know about the efficiency of state space methods
• Model Checking Software
• scientific article; zbMATH DE number 1903381

zbMATH Keywords

state space compression algorithm

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (1)

• The ComBack Method – Extending Hash Compaction with Backtracking

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