Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis (Lecture Notes in Computer Science) by Dang Van Hung
English | Aug. 22, 2013 | ISBN: 3319024434 | 540 Pages | PDF | 6 MB
English | Aug. 22, 2013 | ISBN: 3319024434 | 540 Pages | PDF | 6 MB
The papers are organized in topical, sections on analysis and verification of hardware circuits, systems-on-chip and embedded systems, analysis of real-time, hybrid, priced/weighted and probabilistic systems, deductive, algorithmic, compositional, and abstraction/refinement techniques for analysis and verification, analytical techniques for safety, security, and dependability, testing and runtime analysis based on verification technology, analysis and verification of parallel and concurrent hardware/software systems, verification in industrial practice, and applications and case studies.