Actions for Model checking software [electronic resource] : 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings

Email RIS file
Bookmark
Report an Issue

Model checking software [electronic resource] : 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings / Dragan Bošnački, Stefan Edelkamp (eds.).

Conference Author
International SPIN Workshop (14th : 2007 : Berlin, Germany)
Additional Titles
Also known as: SPIN 2007
Published
Berlin ; New York : Springer, [2007]
Copyright Date
©2007
Physical Description
1 online resource (x, 283 pages) : illustrations
Additional Creators
Bošnački, Dragan, 1963-, Edelkamp, Stefan, and CAV (Conference) (19th : 2007 : Berlin, Germany)
Access Online

Availability

I Want It
I Want It

Finding items...

Series
Contents
Invited contributions -- Directed model checking -- Partial order reduction -- Program analysis -- Exploration advances -- Modeling and cases -- Tools.
Subject(s)
ISBN
9783540733706
3540733701
Note
"Collocated with CAV 2007, the 19th Computer-Aided Verification Conference"--Pref.
AVAILABLE ONLINE TO AUTHORIZED PSU USERS.
Bibliography Note
Includes bibliographical references and index.
Reproduction Note
Electronic reproduction. Berlin : Springer, 2007. Mode of access: World Wide Web. Available via SpringerLink.
View MARC record | catkey: 4567363