Partial Order Reduction for Deep Bug Finding in Synchronous Hardware (Q5039518)

scientific article; zbMATH DE number 7600829

Language	Label	Description	Also known as
English	Partial Order Reduction for Deep Bug Finding in Synchronous Hardware	scientific article; zbMATH DE number 7600829

Statements

instance of

scholarly article

0 references

title

Partial Order Reduction for Deep Bug Finding in Synchronous Hardware (English)

0 references

0 references

0 references

Tools and Algorithms for the Construction and Analysis of Systems

0 references

publication date

13 October 2022

0 references

describes a project that uses

0 references

0 references

0 references

0 references

0 references

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-030-45190-5_20

0 references

cites work

Correct Hardware Design and Verification Methods

0 references

A Practical Approach to Word Level Model Checking of Industrial Netlists

0 references

SAT-Based Model Checking without Unrolling

0 references

Symbolic model checking: \(10^{20}\) states and beyond

0 references

Handbook of Model Checking

0 references

Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique

0 references

Decision procedures. An algorithmic point of view. With foreword by Randal E. Bryant

0 references

Computer Aided Verification

0 references

A methodology for hardware verification using compositional model checking

0 references

An algorithmic approach for checking closure properties of temporal logic specifications and \(\omega\)-regular languages

0 references

Q2754108

0 references

Accelerating bounded model checking of safety properties

0 references

Peephole Partial Order Reduction

0 references

Identifiers

DOI

10.1007/978-3-030-45190-5_20

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5039518