Search
 
loader loading subjects...
cover
Lecture Notes on Software Model Checking
Rupak Majumdar
182 - 204
10.3233/978-1-61499-028-4-182
NATO Science for Peace and Security Series - D: Information and Communication Security
Volume 33: Software Safety and Security
Abstract

This article gives an overview of software model checking, with a focus on model checkers using abstraction and refinement. It grew out of notes accompanying my lectures at the Marktoberdorf Summer School in Summer, 2011.

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