Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Complete Symbolic Simulation of SystemC Models
Best Price (Coupon Required):
Buy Complete Symbolic Simulation of SystemC Models for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
The Blue Zones Challenge - A 4-Week Plan for a Longer, Better Life by Dan Buettner
$19.99
Grundkurs Datenbankentwicklung
$39.99
Oil Transport Management
$129.99
Transnational Europe
$39.99
Specification and Transformation of Programs
$39.99
Adrenergic Neurons
$54.99
Programmieren mit FORTH
$49.99
Annotating, Extracting and Reasoning about Time and Events
$39.99
Precision Assembly Technologies for Mini and Micro Products
$109.99
Concepts of Quality Connected to Social Media and Emotions
$54.99
Recent Advances in Modeling and Forecasting Kaiyu
$169.99
Vergleichende Primatologie
$69.99
Advances in Artificial Intelligence and Security
$139.99
Norbert Wiener 18941964
$39.99
Qualittsmanagement im bankbetrieblichen Kreditgeschft
$69.99
The U.S. Cybersecurity and Intelligence Analysis Challenges
$54.99
Beginning Apache Cassandra Development
$49.99
Global-Regional Linkages in the Earth System
$84.99
Recent Advances in the Psychology of Language
$109.99
Socialist Economic Development and Reforms
$74.99
Fundamentals of Two-Fluid Dynamics
$39.99
IoT in Healthcare and Ambient Assisted Living
$199.99
The Unitary Group for the Evaluation of Electronic Energy Matrix Elements
$109.99
The Network(ed) Economy
$39.99
Individualisierung und neue Formen der Kooperation
$59.99
Neuronal Death by Accident or by Design
$169.99
Kultur-Projektmanagement
$29.99
Clinical Care Pathways in Andrology
$109.99
Fullerene-Based Materials
$259.00
Psychologie des Jugendalters
$59.99
Dental Biomaterials
$129.99
Moral Selves, Evil Selves
$109.99
Puerto Rico Is in the Heart: Emigration, Labor, and Politics in the Life and Work of Frank Espada
$54.99
cAMP Signaling
$199.99
Technikeinsatz und Verlagerungsprozesse in Unternehmensnetzwerken
$37.99
NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Commu
$169.99
Scholastic Text Sets Grade 3: See Yourself in Stories
$95.00
Migration und Brgerbewusstsein
$54.99
Kardiovaskulre Erkrankungen und Nervensystem Neurotoxikologie Probleme des Hirntodes
$59.99
Generalized Solutions of Operator Equations and Extreme Elements
$109.99
