Vectorized model checking for computation tree logic

DOI10.1007/BFB0023718MaRDI QIDQ4037373zbMATH OpenFDO

Authors Hiromi Hiraishi, Shintaro Meki, Kiyoharu Hamaguchi

Publication date 18 May 1993

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

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

zbMATH Keywords

automatic verificationbranching time temporal logiccomputation tree logicvectorized model checking algorithm

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 177249
• CTL^* model checking on a shared-memory architecture
• Efficient model checking algorithms for computation tree logic and their application to the verification of parallel programs
• Model Checking CTL is Almost Always Inherently Sequential
• Computation tree logic and NuSMV model checker

Cited in

(2)

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

This page was built for publication: Vectorized model checking for computation tree logic

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