CTL Model Checking for Boolean Program

DOI10.1007/11751632_116MaRDI QIDQ3601783zbMATH OpenOpenAlexFDO

Authors Tae Hoon Lee, Gihwon Kwon, Hyuksoo Han

Publication date 12 February 2009

Published in Computational Science and Its Applications - ICCSA 2006 (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence for robotics (68T40)

Recommendations

• Model checking: from hardware to software.
• scientific article; zbMATH DE number 1633145
• Model checking
• scientific article; zbMATH DE number 1390251
• Software model checking

This page was built for publication: CTL Model Checking for Boolean Program

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