scientific article; zbMATH DE number 6531898

DOI10.13328/J.CNKI.JOS.004689zbMATH Open1340.68048MaRDI QIDQ3461297FDOQ3461297

Zhenhua Duan, Tao Pang, Xiaofang Liu

Publication date: 15 January 2016

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

zbMATH Keywords

temporal logicsymbolic model checkingmodel checkerembedded system verification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Cited In (3)

• Model checking of pushdown systems for projection temporal logic
• Linear temporal logic symbolic model checking
• Model checking open systems with alternating projection temporal logic

Uses Software

• NuSMV
• CUDD
• PLSMC

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 Q3461297)