0
Your cart

Your cart is empty

Books > Computing & IT > Computer hardware & operating systems

Buy Now

Complete Symbolic Simulation of SystemC Models - Efficient Formal Verification of Finite Non-Terminating Programs (Paperback, 1st ed. 2016) Loot Price: R1,915
Discovery Miles 19 150
Complete Symbolic Simulation of SystemC Models - Efficient Formal Verification of Finite Non-Terminating Programs (Paperback,...

Complete Symbolic Simulation of SystemC Models - Efficient Formal Verification of Finite Non-Terminating Programs (Paperback, 1st ed. 2016)

Vladimir Herdt

Series: BestMasters

 (sign in to rate)
Loot Price R1,915 Discovery Miles 19 150 | Repayment Terms: R179 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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.

General

Imprint: Springer Vieweg
Country of origin: Germany
Series: BestMasters
Release date: March 2016
First published: 2016
Authors: Vladimir Herdt
Dimensions: 210 x 148 x 11mm (L x W x T)
Format: Paperback
Pages: 162
Edition: 1st ed. 2016
ISBN-13: 978-3-658-12679-7
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Computing & IT > Computer hardware & operating systems > General
Books > Computing & IT > Computer programming > Software engineering
Promotions
LSN: 3-658-12679-5
Barcode: 9783658126797

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Managing Business Projects - The…
Frank Einhorn Paperback R515 Discovery Miles 5 150
Media Ownership and Concentration in…
Eli M. Noam Hardcover R3,865 Discovery Miles 38 650
Intelligent IT Outsourcing
Sara Cullen, Leslie Willcocks Paperback R1,906 Discovery Miles 19 060
TI-83 Plus Calculator
BarCharts Inc Fold-out book or chart R234 Discovery Miles 2 340
Mike Meyers' CompTIA A+ Guide to 802…
Mike Meyers Paperback R1,297 Discovery Miles 12 970
CompTIA A+ Certification All-in-One Exam…
Mike Meyers, Travis Everett, … Hardcover R1,311 Discovery Miles 13 110
A Hobbyist's Guide to THEA500 Mini
Holger Wessling Hardcover R947 Discovery Miles 9 470
PowerShell, IT Pro Solutions…
William R. Stanek, William Stanek Hardcover R1,550 Discovery Miles 15 500
Essential Windows 10: 1st Anniversary…
Kevin Wilson Paperback R441 R277 Discovery Miles 2 770
Edsger Wybe Dijkstra - His Life, Work…
Krzysztof R. Apt, Tony Hoare Hardcover R3,164 Discovery Miles 31 640
CSS and HTML for beginners - A Beginners…
Ethan Hall Hardcover R928 Discovery Miles 9 280
Kreislauf des Lebens
Jacob Moleschott Hardcover R1,233 Discovery Miles 12 330

See more

Partners