Copied Complete Symbolic Simulation of SystemC Models
Complete Symbolic Simulation of SystemC Models
In his master thesis, Vladimir Herdt presents a novel approach, called complete symbolic simulation, for a more efficient verification of much larger (non-terminating) SystemC programs. The approach combines symbolic simulation with stateful model checking and allows to verify safety properties in (cyclic) finite state spaces, by exhaustive exploration of all possible inputs and process schedulings. The state explosion problem is alleviated by integrating two complementary reduction techniques. Compared to existing approaches, the complete symbolic simulation works more efficiently, and therefore can provide correctness proofs for larger systems, which is one of the most challenging tasks, due to the ever increasing complexity.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Big Data Analytics
$39.99
US Foreign Policy and the Multinational Force in Lebanon
$109.99
Cinematic Histospheres
$59.99
High Performance Liquid Chromatography
$39.99
Neue Arzneimittel organischer Natur
$59.99
Kompendium der Psychiatrischen Pharmakotherapie
$69.99
Pedometrics
$279.99
Principles of Rock Deformation
$109.99
Regelungstechnik fr Maschinenbauer
$54.99
Treatment Strategy for Unexplained Infertility and Recurrent Miscarriage
$129.99
Diabetic Foot Ulcer
$89.00
Pathology of the Pancreas
$39.99
Dictionary of Acronyms and Technical Abbreviations
$109.99
FEM for Springs
$169.99
Baukonstruktionslehre
$79.99
The Cardamom Genome
$159.99
Contested Cultural Heritage
$39.99
Modeling and Optimization of Advanced Manufacturing Processes
$54.99
Biomedical Ethics Reviews 1985
$39.99
Handbook of Pediatric Surgery
$79.99
The Emerging Physics of Consciousness
$59.99
Project Management Checklist: A Complete Guide For Exterior and Interior Construction
$169.99
Implizites Wissen in Organisationen
$59.99
Die Vorteilhaftigkeit relativer Anreizschemata unter Bercksichtigung der Kollusionsgefahr
$69.99
Global Environmental Negotiations and US Interests
$39.99
A Geometrical Study of the Elementary Catastrophes
$34.99
CONAT 2024 International Congress of Automotive and Transport Engineering
$219.99
Aerosol Remote Sensing
$219.99
Next Generation Spin Torque Memories
$59.99
Scholar Zone Summer Reading & Writing and Math Grade 8
$1,150.00
The Special Theory of Relativity
$54.99
Childhood and Childrens Rights between Research and Activism
$54.99
Handbook of Multiple Myeloma
$69.99
Current Concepts of Bone Fragility
$109.99
Unsere Sonne ein rtselhafter Stern?
$44.99
Non-Profit Organisations, Volume II
$139.00
Statistical Methods for Quality Assurance
$89.00
Risk-Based Ship Design
$179.00
Progress in Sensory Physiology
$84.99
Lon Duguit and the Social Obligation Norm of Property
$129.00
