✦ LIBER ✦

Effective Robustness Analysis Using Bounded Model Checking Techniques

✍ Scribed by Fey, G.; Sulflow, A.; Frehse, S.; Drechsler, R.

Book ID: 117908549
Publisher: IEEE
Year: 2011
Tongue: English
Weight: 760 KB
Volume: 30
Category: Article
ISSN: 0278-0070
DOI: 10.1109/tcad.2011.2120950

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Bounded Model Checking Using Satisfiabil

Bounded Model Checking Using Satisfiability Solving

✍ Edmund Clarke; Armin Biere; Richard Raimi; Yunshan Zhu 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 149 KB

Regular Model Checking using Widening Te

Regular Model Checking using Widening Techniques

✍ Tayssir Touili 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 305 KB

In this paper, we consider symbolic model checking of safety properties of linear parametrized systems. Sets of configurations are represented by regular languages and actions by regular relations. Since the verification problem amounts to the computation of the reachability set, we focus on the com

Formal analysis for robust anti-SPIT pro

Formal analysis for robust anti-SPIT protection using model checking

✍ Dimitris Gritzalis; Panagiotis Katsaros; Stylianos Basagiannis; Yannis Soupionis 📂 Article 📅 2012 🏛 Springer-Verlag 🌐 English ⚖ 820 KB

Cut Set Analysis using Behavior Trees an

Cut Set Analysis using Behavior Trees and model checking

✍ Peter A. Lindsay; Nisansala Yatapanage; Kirsten Winter 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 592 KB

Security analysis of GTRBAC and its vari

Security analysis of GTRBAC and its variants using model checking

✍ Samrat Mondal; Shamik Sural; Vijayalakshmi Atluri 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 992 KB

Robust constrained predictive control us

Robust constrained predictive control using a sector bounded nonlinear model

✍ Lee, S.M.; Won, S.C. 📂 Article 📅 2007 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 145 KB