scientific article; zbMATH DE number 5226272

zbMATH Open1128.68053MaRDI QIDQ5435632

Orna Grumberg

Publication date: 14 January 2008

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

zbMATH Keywords

ACTL specificationACTL verification

Mathematics Subject Classification ID

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

Related Items (12)

A generalized semantics of PROMELA for abstract model checking ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Computer Aided Verification ⋮ Concrete abstractions. Formalizing and analyzing discrete theories and algorithms with the RISCAL model checker ⋮ Automata-Based Abstraction Refinement for µHORS Model Checking ⋮ Title not available (Why is that?) ⋮ A type-directed abstraction refinement approach to higher-order model checking ⋮ An efficient approach for abstraction-refinement in model checking ⋮ Title not available (Why is that?) ⋮ Abstraction and Refinement in Model Checking ⋮ Model Checking Software

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