Speculative image computation for distributed symbolic reachability analysis

DOI10.1093/LOGCOM/EXP005zbMATH Open1213.68369OpenAlexW2019496807MaRDI QIDQ3069998FDOQ3069998

Authors: Ming-Ying Chung, Gianfranco Ciardo 

Publication date: 2 February 2011

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.154.3549

Recommendations

• A pattern recognition approach for speculative firing prediction in distributed saturation state-space generation
• Correct Hardware Design and Verification Methods
• Correct Hardware Design and Verification Methods
• A work-efficient distributed algorithm for reachability analysis.
• scientific article; zbMATH DE number 1670766

zbMATH Keywords

distributed computingreachability analysisimage computationdecision diagrams

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)

Cited In (2)

• Correct Hardware Design and Verification Methods
• A pattern recognition approach for speculative firing prediction in distributed saturation state-space generation

Uses Software

• BDDNOW

This page was built for publication: Speculative image computation for distributed symbolic reachability analysis

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