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
Modern Farmhouse: An Interior Design Coloring Book
$13.50
Wie Unternehmen in die Zukunft blicken
$17.99
The Positive Psychology of Personal Transformation
$79.99
Die Entstehung der menschlichen Lungenphthise
$59.99
Parallel Algorithms in Computational Science and Engineering
$109.00
Produktionscontrolling
$29.99
Sudan, Civil War and Terrorism, 1956-99
$54.99
Vergngter Protest
$44.99
Mobile Ad-hoc and Sensor Networks
$39.99
Global Hiphopography
$169.99
Agile Information Business
$84.99
Mineral nutrition of tropical plants
$59.99
Sustainable Development for Central and Eastern Europe
$84.99
Advanced H Control
$54.99
Paradigms on Technology Development for Security Practitioners
$59.99
Untersuchungen ber die Existenzbereiche der Eisenkarbide mit Hilfe der Elektronenmikroskopie und El
$59.99
Childbirth Trauma
$169.99
Asymptotic Behavior of Mass and Spacetime Geometry
$84.99
The Last Caribbean Frontier, 1795-1815
$109.99
Computer Modeling and Simulation of Dynamic Systems Using Wolfram SystemModeler
$39.99
Commutative Algebra, Singularities and Computer Algebra
$169.99
Ebene Potentialstrmung um N Ellipsen in einem Kanal mit festen Wnden
$54.99
Advances in Computer Science, Engineering and Applications
$259.00
Women, Violence and Social Control
$54.99
Similarity and Symmetry Methods
$109.99
Rights-based Integrated Child Protection Service Delivery Systems
$99.99
Engineering of Microbial Biosynthetic Pathways
$199.99
Research in Chemistry Education
$109.99
Innovative Practices in Language Teacher Education
$149.00
The Spirit of Individualism
$129.99
Notes on Set Theory
$54.99
Exogenous Enzymes as Feed Additives in Ruminants
$179.99
The Entrepreneurial Rise in Southeast Asia
$84.99
Martin Rising (Hardcover)
$14.99
Populist Discourse
$89.00
Skin Color
$49.99
Pasteurella multocida
$129.00
Robot Components and Systems
$54.99
Die Zukunft der Informationssysteme. Lehren der 80er Jahre
$59.99
Palliative Treatment for Advanced Cancer Patients
$139.99
