scientific article; zbMATH DE number 177249

zbMATH Open0774.68079MaRDI QIDQ4037101FDOQ4037101

Authors: Hiromi Hiraishi, Shintaro Meki, Kiyoharu Hamaguchi 

Publication date: 18 May 1993

Title of this publication is not available (Why is that?)

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

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)

Cited In (2)

• Model Checking Quantified Computation Tree Logic
• Title not available (Why is that?)

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)