✦ LIBER ✦

Specification and verification of GPGPU programs

✍ Scribed by Blom, Stefan; Huisman, Marieke; Mihelčić, Matej

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Modeling, specification, and verificatio

✍ E. V. Kuzmin; V. A. Sokolov 📂 Article 📅 2008 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 261 KB

Specification and Verification of Concur

✍ Sandip Ray, Rob Sumners 📂 Article 📅 2012 🏛 Springer Netherlands 🌐 English ⚖ 787 KB

Modular specification and verification o

✍ Leavens, G.T. 📂 Article 📅 1991 🏛 IEEE 🌐 English ⚖ 938 KB

Application of Modal Logics to the Speci

✍ V. B. Popov; A. S. Anafiev 📂 Article 📅 2001 🏛 Springer US 🌐 English ⚖ 30 KB

Using Computer Algebra techniques for th

✍ Nikolaj Popov; Tudor Jebelean 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 130 KB

JCML: A specification language for the r

✍ Umberto Souza da Costa; Anamaria Martins Moreira; Martin A. Musicante; Plácido A 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 753 KB