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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Classical Myth on Screen
$99.99
Applications of Lie Algebras to Hyperbolic and Stochastic Differential Equations
$39.99
Levinas in Jerusalem: Phenomenology, Ethics, Politics, Aesthetics
$109.99
Werde ein Mann
$59.99
The Fall of France in the Second World War
$109.99
Barbara Mettler-Meibom Breitbandtechnologie
$69.99
Heer und Kriegsflotte
$59.99
Literacy Walks (10-copy pack)
$269.90
Therapielexikon Dermatologie und Allergologie
$19.99
Computational Mathematics, Nanoelectronics, and Astrophysics
$84.99
The Door of No Return (Hardcover)
$13.49
Technology Enhanced Assessment
$39.99
India in the American Imaginary, 1780s1880s
$119.99
Characterisation of Turbulent Duct Flows
$54.99
Regions of Recent Star Formation
$219.99
Modellierung 99
$69.95
Flow and Transport Processes with Complex Obstructions
$169.99
Robust Control Systems
$109.99
Guided Science Readers: Seasons-Level A: Harvest Time
$3.71
On the Shoulders of Medicine's Giants
$54.99
Solid-State Physics
$119.00
The Light of Nature
$329.99
Guided Reading Level E Pack 2
$61.00
Slow Care Pflegen ohne Zeitdruck
$17.99
Die Herz- und Gefss-Krankheiten
$59.99
Machine Learning and Artificial Intelligence
$69.99
Konzepte der parallelen Programmierung
$69.95
Quantum Field Theory II: Quantum Electrodynamics
$229.00
Advances in Manufacturing III
$169.99
The 2018 Yearbook of the Digital Ethics Lab
$54.99
Biologically Inspired Cognitive Architectures 2023
$219.00
Assessing the Ecological Integrity of Running Waters
$84.99
Parabolicity, Volterra Calculus, and Conical Singularities
$39.99
The 10 Best of Everything National Parks Book, 2nd Edition: 800 Top Picks From Parks Coast to Coast Official shopDisney
$24.99
Beschftigungsgrad und Gesamtwirtschaftlicher Leistungsanteil
$49.99
Boo! Bluey's Halloween- A Magnet Book by Penguin Young Readers
$14.99
Concrete-Filled Steel Tubular Arch Bridges
$109.99
Control Theory, Numerical Methods and Computer Systems Modelling
$54.99
Orte der Wirklichkeit
$59.99
Sound and the Aesthetics of Play
$39.99
