✦ LIBER ✦

Model checking, testing and verification working together

✍ Scribed by Elsa Gunter; Doron Peled

Publisher: Springer
Year: 2005
Tongue: English
Weight: 201 KB
Volume: 17
Category: Article
ISSN: 0934-5043
DOI: 10.1007/s00165-005-0059-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Preface to a special section on verifica

Preface to a special section on verification, model checking, and abstract interpretation

✍ Neil D. Jones; Markus Müller-Olm 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 91 KB

Transgenic mutation models: Research, te

Transgenic mutation models: Research, testing, and reality checks

✍ Thomas R. Skopek 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 61 KB

A novel collaborative scheme of simulati

A novel collaborative scheme of simulation and model checking for system properties verification

✍ Ming Zhu; Jinian Bian; Weimin Wu 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 458 KB

Geometric Model Checking: An Automatic V

Geometric Model Checking: An Automatic Verification Technique for Loop and Data Reuse Transformations

✍ K.C. Shashidhar; Maurice Bruynooghe; Francky Catthoor; Gerda Janssens 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 344 KB

Optimizing programs by applying source-to-source transformations is a prevalent practice among programmers. Particularly so, in the framework of methodology based embedded systems design, where the initial program is subject to a series of transformations to optimize computation and communication. I

Scalable satisfiability checking and tes

Scalable satisfiability checking and test data generation from modeling diagrams

✍ Yannis Smaragdakis; Christoph Csallner; Ranjith Subramanian 📂 Article 📅 2008 🏛 Springer US 🌐 English ⚖ 483 KB

Test sequence generation and model check

Test sequence generation and model checking using dynamic transition relations

✍ Sérgio Campos; Orna Grumberg; Karen Yorav; Copty Fady 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 250 KB