scientific article; zbMATH DE number 5951072

zbMATH Open1240.68134MaRDI QIDQ3170516FDOQ3170516

Cristina Tudose

Publication date: 27 September 2011

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

zbMATH Keywords

model checkingcomputation tree logicKripke structure

Mathematics Subject Classification ID

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

Cited In (5)

• Symbolic Fault Tree Analysis for Reactive Systems
• Model Checking Quantified Computation Tree Logic
• Title not available (Why is that?)
• Computation tree measurement language (CTML)
• A model checker for linear time temporal logic

Uses Software

• NuSMV

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