Unfoldings A Partial-Order Approach to Model Checking /

Model checking is a prominent technique used in the hardware and software industries for automatic verification. While it is very successful in finding subtle bugs in distributed systems, it faces the state explosion problem - the number of reachable states grows exponentially in the number of concu...

Full description

Main Author: Esparza, Javier.
Corporate Author: SpringerLink (Online service)
Other Authors: Heljanko, Keijo.
Format: Electronic
Language: English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
Series: Monographs in Theoretical Computer Science An EATCS Series,
Online Access: http://dx.doi.org/10.1007/978-3-540-77426-6
Tags: Add Tag
No Tags, Be the first to tag this record!