Model Checking Software

Image of Model Checking Software

The best price by


Review this product

Model Checking Software Description

This volume contains the proceedings of the 12th International SPIN Wo- shop on Model Checking of Software, held in San Francisco, USA, on August 22-24,2005.SPIN 2005is a forum for practitionersand researchersinterested in model-checking based techniques for the validation and analysis of communi- tion protocols and software systems. The workshop focuses on topics including theoretical and algorithmic foundations and tools for software model checking, modelderivationfromcodeandcodederivationfrommodels, techniquesforde- ing with large and in?nite state spaces, and applications. The workshop aims to foster interactions and exchanges of ideas with all related areas in software engineering. It has [Read more...]

Prices updated daily on Shopbot. Please refer to the retailer’s website for final price.

Compare prices

Product Image
Product Details
Price Product and pricing data are sourced from third parties for informational purposes only. We strive to provide correct information, but are not responsible for inaccuracies. Should you find any errors, please help us by reporting it.

People also viewed