Systematic Acceleration in Regular Model Checking

DOI10.1007/978-3-540-73368-3_16MaRDI QIDQ5429319zbMATH OpenOpenAlexFDO

Authors Mayank Saksena, Bengt Jonsson

Publication date 29 November 2007

Published in Computer Aided Verification (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73368-3_16

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1670791
• Algorithmic improvements in regular model checking.
• On (omega-)regular model checking
• CONCUR 2004 - Concurrency Theory
• Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems)

Cited in

(12)

• Well-abstracted transition systems: Application to FIFO automata.
• scientific article; zbMATH DE number 1670786 (Why is no real title available?)
• Abstract regular tree model checking
• On (omega-)regular model checking
• scientific article; zbMATH DE number 1954380 (Why is no real title available?)
• scientific article; zbMATH DE number 1500565 (Why is no real title available?)
• scientific article; zbMATH DE number 1759636 (Why is no real title available?)
• Regular model checking using widening techniques
• Computer Aided Verification
• Automated Technology for Verification and Analysis
• Automated Technology for Verification and Analysis
• Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems)

This page was built for publication: Systematic Acceleration in Regular Model Checking

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