scientific article; zbMATH DE number 1069486

MaRDI QIDQ4356437zbMATH OpenFDO

Authors Stefan Leue, Peter B. Ladkin

Publication date 14 January 1998

Mathematics Subject Classification ID

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

Cited in

(1)

• Feature interaction detection by pairwise analysis of LTL properties -- A case study

Describes a project that uses

Uses Software

• PROMELA

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