✦ LIBER ✦

SOL: A Verifiable Synchronous Language for Reactive Systems

✍ Scribed by Ramesh Bharadwaj

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Specifying and verifying reactive system

✍ Agathe Merceron; Monica Müllerburg; G.Michele Pinna 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 151 KB

A unified framework for describing and v

✍ Ghislaine Thuau; Bachir Berkane 📂 Article 📅 1993 🏛 Springer 🌐 English ⚖ 1000 KB

A Decidable Clock Language for Synchrono

✍ Mirabelle Nebut; Sophie Pinchinat 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 229 KB

CSRL: A language for expert systems for

✍ Tom Bylander; Sanjay Mittal; B. Chandrasekaran 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 793 KB

A symbolic manipulation language for hyp

✍ A. A. Stognii; T. A. Grinchenko; M. V. Olenin 📂 Article 📅 1991 🏛 Springer US 🌐 English ⚖ 713 KB

Analysis of a modified model for synchro

✍ A. Pombortsis; C. Halatsis 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 460 KB