Search
 
loader loading subjects...
cover
Regular Model Checking for Programs with Dynamic Memory - Extended Abstract
Ahmed Bouajjani
17 - 22
NATO Security through Science Series - D: Information and Communication Security
Volume 1: Verification of Infinite-State Systems with Applications to Security
Abstract

We give a short overview on the recent research activity on regular model checking, an automata-based framework for the automatic verification of infinitestate systems, and its application to the verification of programs with dynamic linked structures.

$35.00 / €27.50 / £22.00
Add PDF to cart