✦ LIBER ✦

Z2SAL: a translation-based model checker for Z

✍ Scribed by John Derrick; Siobhán North; Anthony J. H. Simons

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A cluster algorithm for the Z2 Kalb-Ramo

✍ P.K. Coyle; I.G. Halliday 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 450 KB

Zeus: A Distributed Timed Model-Checker

✍ V. Braberman; A. Olivero; F. Schapachnik 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 239 KB

The Ig Doublet Z1Z2: A Model System for

✍ Marco Marino; Peijian Zou; Dmitri Svergun; Pilar Garcia; Christian Edlich; Bernd 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 622 KB

A matrix model for heterotic Spin(32)/Z2

✍ Morten Krogh 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 600 KB

A Model Lexicalized Hierarchical Reorder

✍ Vinh Van Nguyen; Thai Phuong Nguyen; Minh Le Nguyen; Akira Shimazu 📂 Article 📅 2011 🏛 Elsevier 🌐 English ⚖ 528 KB

Droplet Shapes for a Class of Models in(

✍ Xavier Descombes; Eugène Pechersky 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 506 KB