𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Enhancing model checking in verification by AI techniques

✍ Scribed by Francesco Buccafurri; Thomas Eiter; Georg Gottlob; Nicola Leone

Book ID
108307066
Publisher
Elsevier Science
Year
1999
Tongue
English
Weight
421 KB
Volume
112
Category
Article
ISSN
0004-3702

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Bytecode Verification by Model Checking
Bytecode Verification by Model Checking
✍ David Basin; Stefan Friedrich; Marek Gawkowski πŸ“‚ Article πŸ“… 2003 πŸ› Springer Netherlands 🌐 English βš– 276 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