✦ LIBER ✦

Checking Z Data Refinements Using Traces Refinement

✍ Scribed by André Didier; Adalberto Farias; Alexandre Mota

Book ID: 108127098
Publisher: Elsevier Science
Year: 2009
Tongue: English
Weight: 535 KB
Volume: 240
Category: Article
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2009.05.049

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

Refining carbon flux paths using atomic

Refining carbon flux paths using atomic trace data

✍ Pey, J.; Planes, F. J.; Beasley, J. E. 📂 Article 📅 2013 🏛 Oxford University Press 🌐 English ⚖ 308 KB

Using the Alloy Analyzer to Verify Data

Using the Alloy Analyzer to Verify Data Refinement in Z

✍ Christie Bolton 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 297 KB

Using Z.Specification,refinement,and pro

Using Z.Specification,refinement,and proof

✍ Jim Woodcock, Jim Davies 📂 Library 📅 1996 🏛 Prentice Hall 🌐 English ⚖ 5 MB

This book contains enough mnaterial for three complete courses of study. It provides an introduction to the world of logic, sets and relations. It explains the use of the Znotation in the specification of realistic systems. It shows how Z specifications may be refined to produce executable code; thi

Zeolite structure refinements using powd

Zeolite structure refinements using powder data

✍ Ch. Baerlocher 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 887 KB

Verifying data refinements using a model

Verifying data refinements using a model checker

✍ Graeme Smith; John Derrick 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 224 KB