✦ LIBER ✦

Verifying data refinements using a model checker

✍ Scribed by Graeme Smith; John Derrick

Publisher: Springer
Year: 2006
Tongue: English
Weight: 224 KB
Volume: 18
Category: Article
ISSN: 0934-5043
DOI: 10.1007/s00165-006-0002-7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On using data abstractions for model che

On using data abstractions for model checking refinements

✍ John Derrick; Heike Wehrheim 📂 Article 📅 2007 🏛 Springer-Verlag 🌐 English ⚖ 444 KB

Modelling and Verifying of a ‘Cash-Point

Modelling and Verifying of a ‘Cash-Point Service’ Using MOBY/PLC

✍ Henning Dierks; Josef Tapken 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 44 KB

Automatic Verification of a Behavioural

Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker

✍ Diego Latella; Istvan Majzik; Mieke Massink 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 255 KB

Modelling of a woodchip refiner using ar

Modelling of a woodchip refiner using artificial neural network

✍ Prof. Yu Qian; Prof. Patrick J. C. Tessier 📂 Article 📅 1995 🏛 John Wiley and Sons 🌐 English ⚖ 577 KB

Refinement of the basic treatment equiva

Refinement of the basic treatment equivalent model to reflect radiotherapy treatment throughput using Australasian data

✍ Delaney, Geoff ;Rus, Meredith ;Gebski, Val ;Lunn, A Dan ;Lunn, Mary 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 58 KB

A data model for use with formatted and

A data model for use with formatted and textual data

✍ Desai, B. C. ;Goyal, P. ;Sadri, F. 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 786 KB

individualized data structures and operations have been devised for the various application areas of textual data. Consequently, their ability to integrate with other applications by sharing their data objects has been lost. In this article we present a data model based on the text data model, unive