Distributed Computing - IWDC 2004

DOI10.1007/B104419MaRDI QIDQ5465889zbMATH OpenOpenAlexFDO

Authors Krishnendu Chatterjee, Pallab Dasgupta, P. P. Chakrabarti

Publication date 12 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b104419

Mathematics Subject Classification ID

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

Recommendations

• Model Checking CTL is Almost Always Inherently Sequential
• scientific article; zbMATH DE number 4180789
• TEMPORAL LOGICS FOR TRACE SYSTEMS: ON AUTOMATED VERIFICATION
• scientific article; zbMATH DE number 2196601
• scientific article; zbMATH DE number 1705163

Cited in

(9)

• A compositional approach to CTL^* verification
• Concurrency makes simple theories hard
• The fixed-parameter tractability of model checking concurrent systems
• scientific article; zbMATH DE number 4180789 (Why is no real title available?)
• Computation tree logic with deadlock detection
• scientific article; zbMATH DE number 177249 (Why is no real title available?)
• Computation tree logic for synchronization properties
• LTL-model-checking via model composition
• Efficient model checking algorithms for computation tree logic and their application to the verification of parallel programs

This page was built for publication: Distributed Computing - IWDC 2004

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