Progress properties for empty UNITY programs

This article is hosted on another website.

You may be required to register, activate a subscription or purchase the article before you can obtain the full text.


Download / Buy Article:

Keywords: Automatic theorem proving; Progress property; Specification languages; unity

Document Type: Short Communication


Affiliations: France Telecom - CNET, DTL/MSV, 22 301 Lannion Cedex, France

Publication date: February 12, 1999

Related content



Share Content

Access Key

Free Content
Free content
New Content
New content
Open Access Content
Open access content
Subscribed Content
Subscribed content
Free Trial Content
Free trial content
Cookie Policy
Cookie Policy
ingentaconnect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more