Progress properties for empty \textsc{Unity} programs

DOI10.1016/S0020-0190(98)00207-5zbMath1338.68168OpenAlexW2081113254MaRDI QIDQ294627

B. Heyd, Pierre 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)

Uses Software

• UNITY

Cites Work

• Unnamed Item

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