Specification and encoding of transaction interaction properties

DOI10.1007/S10703-011-0120-6MaRDI QIDQ453491zbMATH OpenOpenAlexFDO

Authors Divjyot Sethi, Yogesh Mahajan, Sharad Malik

Publication date 27 September 2012

Published in Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10703-011-0120-6

zbMATH Keywords

infinite state systemsmodel checkingtransaction level modeling

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Transaction-level system modeling
• Full simulation coverage for SystemC transaction-level models of systems-on-a-chip
• Facilitating the design of fault tolerance in transaction level SystemC programs
• Model checking: a hardware design perspective
• Designing communicating transaction processes by supervisory control theory

Cites work

• Decidability of model checking for infinite-state concurrent systems
• scientific article; zbMATH DE number 1614699 (Why is no real title available?)
• scientific article; zbMATH DE number 1701757 (Why is no real title available?)
• scientific article; zbMATH DE number 1487866 (Why is no real title available?)

Cited in

(2)

• Transaction-level system modeling
• Facilitating the design of fault tolerance in transaction level SystemC programs

This page was built for publication: Specification and encoding of transaction interaction properties

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