✦ LIBER ✦

Reachability analysis -based validation of embedded systems

✍ Scribed by Antti Valmari

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Design validation of embedded dependable

✍ Bondavalli, A.; Fantechi, A.; Latella, D.; Simoncini, L. 📂 Article 📅 2001 🏛 IEEE 🌐 English ⚖ 116 KB

Reachability analysis of switched linear

✍ Bin Meng; Jifeng Zhang 📂 Article 📅 2006 🏛 South China University of Technology and Academy o 🌐 English ⚖ 196 KB

Reachability analysis of linear systems

✍ Colas Le Guernic; Antoine Girard 📂 Article 📅 2010 🏛 Elsevier 🌐 English ⚖ 510 KB

Interval-based analysis in embedded syst

✍ M Jersak; K Richter; R Ernst 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 314 KB

Grammar-based design of embedded systems

✍ Johnny Öberg; Mattias O'Nils; Axel Jantsch; Adam Postula; Ahmed Hemani 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 629 KB

Using Forward Reachability Analysis for

✍ Parosh Aziz Abdulla; Aurore Collomb-Annichini; Ahmed Bouajjani; Bengt Jonsson 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 236 KB