Progress properties for empty \textsc{Unity} programs

DOI10.1016/S0020-0190(98)00207-5MaRDI QIDQ294627zbMATH OpenOpenAlexFDO

Authors B. Heyd, P. Crégut

Publication date 16 June 2016

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL http://www.sciencedirect.com/science/article/pii/S0020019098002075?np=y

zbMATH Keywords

progress propertyspecification languages: automatic theorem proving: \textsc{Unity}

Mathematics Subject Classification ID

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

Cited in

(1)

• The \textsc{Comm}\textsc{Unity} workbench

Describes a project that uses

Uses Software

• UNITY

This page was built for publication: Progress properties for empty \textsc{Unity} programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q294627)