scientific article; zbMATH DE number 5593278

zbMATH Open1189.68077MaRDI QIDQ5192940

MacIej Szreter, Artur Niewiadomski, Wojciech Penczek

Publication date: 10 August 2009

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

zbMATH Keywords

UML, Bounded Model Checking, symbolic verification

Mathematics Subject Classification ID

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

Related Items (1)

Title not available (Why is that?)

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