A BMC-formulation for the scheduling problem in highly constrained hardware systems

MaRDI QIDQ2845514zbMATH OpenFDO

Authors G. Cabodi, S. Nocco, S. Quer, Alex Kondratiev, Luciano Lavagno, Yosinori Watanabe

Publication date 30 August 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105825472

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1670796
• Accelerating bounded model checking of safety properties
• SAT-Based Model Checking
• Theory and Applications of Models of Computation
• scientific article; zbMATH DE number 1852147

Cited in

(1)

• scientific article; zbMATH DE number 1832218 (Why is no real title available?)

This page was built for publication: A BMC-formulation for the scheduling problem in highly constrained hardware systems

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