|
|
||||||||
![]() |
|
|
Share | LinkBack | Thread Tools | Display Modes |
|
|
#1 (permalink) |
|
Member
Join Date: May 2009
Reputation: 90
Posts: 179
Thanks: 1
Thanked 7 Times in 7 Posts
|
![]() This book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009, held in Grenoble, France, in June/July 2009. The 36 revised full papers presented together with 16 tool papers and 4 invited talks and 4 invited tutorials were carefully reviewed and selected from 135 regular paper and 34 tool paper submissions. The papers are dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems; their scope ranges from theoretical results to concrete applications, with an emphasis on practical verification tools and the underlying algorithms and techniques. Link: Code:
http://rapidshare.com/files/250642287/Computer.Aided_hvanhtuan.rar |
|
|
|
| Click here to Donate to remove the Advertisments. | ||
|
|
||
![]() |
| Tags |
| aided, computer, verification |
| Thread Tools | |
| Display Modes | |
|
|
|
|
||||
| Thread | Thread Starter | Forum | Replies | Last Post |
| Computer-Aided Design, Engineering, and Manufacturing: Syste | nevret2 | Ebooks,tutorials & Other Stuff | 0 | 06-12-2009 03:02 AM |
| GibbsCAM 2009 9.3.3 - PC-based computer-aided manufacturing | Shiin | Appz Zone | 0 | 05-07-2009 02:04 PM |
| New Rapidshare image verification | PaNkAJ | Funstuff. | 0 | 05-20-2008 02:00 AM |
| How To set file signature verification options? | charanjit | Windows XP | 0 | 04-21-2008 03:21 PM |
| Chemical Process Design: Computer-Aided Case Studies | ijhtio | Ebooks,tutorials & Other Stuff | 0 | 03-25-2008 03:35 PM |