scientific article; zbMATH DE number 177249

MaRDI QIDQ4037101zbMATH OpenFDO

Authors Hiromi Hiraishi, Shintaro Meki, Kiyoharu Hamaguchi

Publication date 18 May 1993

zbMATH Keywords

computation tree logicCTLvector processorsmodel checking algorithm

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Reliability, testing and fault tolerance of networks and computer systems (68M15) Semantics in the theory of computing (68Q55) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)

Recommendations

• scientific article; zbMATH DE number 177502
• Model Checking CTL is Almost Always Inherently Sequential
• Efficient model checking algorithms for computation tree logic and their application to the verification of parallel programs
• Distributed Computing - IWDC 2004
• CTL\(^*\) model checking on a shared-memory architecture

Cited in

(2)

• Model Checking Quantified Computation Tree Logic
• scientific article; zbMATH DE number 177502 (Why is no real title available?)

This page was built for publication:

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