✦ LIBER ✦

Abstract specification and formalization of an operating system kernel in Z

✍ Scribed by Barreto, Luciano; Andrade, Aline; Duran, Adolfo; Lima, Caique; Lima, Ademilson

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An experiment in formal definition of op

✍ Johs. Madsen 📂 Article 📅 1977 🏛 Elsevier Science 🌐 English ⚖ 379 KB

Formal specification and state space ana

✍ Brice Mitchell; Lars Michael Kristensen; Lin Zhang 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 472 KB

[Lecture Notes in Computer Science] Form

✍ Jonsson, Bengt; Parrow, Joachim 📂 Article 📅 1996 🏛 Springer Berlin Heidelberg ⚖ 983 KB

[Lecture Notes in Computer Science] ZB 2

✍ Bert, Didier; Bowen, Jonathan P.; King, Steve; Waldén, Marina 📂 Article 📅 2003 🏛 Springer Berlin Heidelberg ⚖ 179 KB

[Lecture Notes in Computer Science] ZB 2

✍ Bert, Didier; Bowen, Jonathan P.; King, Steve; Waldén, Marina 📂 Article 📅 2003 🏛 Springer Berlin Heidelberg ⚖ 179 KB

Implementation of levels of abstraction

✍ E. K. Degtyarev; S. P. Kalinichenko 📂 Article 📅 1980 🏛 Springer US 🌐 English ⚖ 770 KB