Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Complete Symbolic Simulation of SystemC Models

Complete Symbolic Simulation of SystemC Models

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783658126797
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

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