Specification and encoding of transaction interaction properties

DOI10.1007/s10703-011-0120-6zbMath1247.68169OpenAlexW1982576732MaRDI QIDQ453491

Yogesh Mahajan, Divjyot Sethi, 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

model checkingtransaction level modelinginfinite state systems

Mathematics Subject Classification ID

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

Cites Work

• Decidability of model checking for infinite-state concurrent systems
• Unnamed Item
• Unnamed Item
• Unnamed Item

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