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.

Proceed

Download / Buy Article:

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

Document Type: Short Communication

DOI: http://dx.doi.org/10.1016/S0020-0190(98)00207-5

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

Publication date: February 12, 1999

Related content

Tools

Favourites

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
X
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