✦ LIBER ✦

VESAR: a pragmatic approach to formal specification and verification

✍ Scribed by B. Algayres; V. Coelho; L. Doldi; H. Garavel; Y. Lejeune; C. Rodríguez

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

SOFSPEC: A pragmatic approach to automat

✍ Erika Nyari; Harry Sneed 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 783 KB

An approach to formal specification and

✍ M.A.V Nelson; P.S.C Alencar; D.D Cowan 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 150 KB

A formal approach to MpSoC performance v

✍ Richter, K.; Jersak, M.; Ernst, R. 📂 Article 📅 2003 🏛 IEEE 🌐 English ⚖ 365 KB

A Formal Approach to the Specification o

✍ J.C. Torres; B. Clares 📂 Article 📅 1994 🏛 John Wiley and Sons 🌐 English ⚖ 204 KB

A formal specification and verification

✍ Frey, P.; Radhakrishnan, R.; Carter, H.W.; Wilsey, P.A.; Alexander, P. 📂 Article 📅 2002 🏛 IEEE 🌐 English ⚖ 513 KB

An Approach to the Specification and Ver

✍ Jonathan P. Bowen; He Jifeng 📂 Article 📅 2001 🏛 Springer US 🌐 English ⚖ 118 KB