Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
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
Repayment Terms: R179 pm x 12*
Add to cart
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 Essentials (Paperback, 3rd Edition): Frank Einhorn
Managing Business Projects - The…
Frank Einhorn Paperback R515 Discovery Miles 5 150
Practical TCP/IP and Ethernet Networking for Industry (Paperback): Deon Reynders, Edwin Wright
Practical TCP/IP and Ethernet Networking…
Deon Reynders, Edwin Wright Paperback R1,581 Discovery Miles 15 810
The System Designer's Guide to VHDL-AMS, Volume TBD - Analog, Mixed-Signal, and Mixed-Technology Modeling (Paperback):...
The System Designer's Guide to VHDL-AMS…
Peter J Ashenden, Gregory D. Peterson, … Paperback R2,421 Discovery Miles 24 210
Microsoft Windows 10 Tips & Tricks (Fold-out book or chart): Joan Lambert
Microsoft Windows 10 Tips & Tricks
Joan Lambert Fold-out book or chart R244 Discovery Miles 2 440
Exam Ref AZ-104 Microsoft Azure Administrator (Paperback): Harshul Patel, Michael Washam, Jonathan Tuliani, Scott Hoag
Exam Ref AZ-104 Microsoft Azure…
Harshul Patel, Michael Washam, … Paperback R1,243 Discovery Miles 12 430
TI-83 Plus Calculator (Fold-out book or chart): BarCharts Inc
TI-83 Plus Calculator
BarCharts Inc Fold-out book or chart R244 Discovery Miles 2 440
Mike Meyers' CompTIA A+ Guide to 802 Managing and Troubleshooting PCs Lab Manual, Fourth Edition (Exam 220-802)...
Mike Meyers' CompTIA A+ Guide to 802…
Mike Meyers Paperback R1,297 Discovery Miles 12 970
CompTIA A+ Certification All-in-One Exam Guide, Eleventh Edition (Exams 220-1101 & 220-1102) (Hardcover, 11th edition): Mike...
CompTIA A+ Certification All-in-One Exam…
Mike Meyers, Travis Everett, … Hardcover R1,362 Discovery Miles 13 620
Quantum Computing, Second Edition - A pathway to quantum logic design (Hardcover, 2nd edition): Hafiz Md. Hasan Babu
Quantum Computing, Second Edition - A…
Hafiz Md. Hasan Babu Hardcover R3,474 Discovery Miles 34 740
A Hobbyist's Guide to THEA500 Mini (Hardcover, Full Colour Hardback ed.): Holger Wessling
A Hobbyist's Guide to THEA500 Mini
Holger Wessling Hardcover R983 Discovery Miles 9 830
Essential Windows 10: 1st Anniversary Edition (Paperback, 1st Anniversary edition): Kevin Wilson
Essential Windows 10: 1st Anniversary…
Kevin Wilson Paperback R459 R288 Discovery Miles 2 880
Wireless Communication Networks Supported by Autonomous UAVs and Mobile Ground Robots (Paperback): Hailong Huang, Andrey V....
Wireless Communication Networks…
Hailong Huang, Andrey V. Savkin, … Paperback R2,934 Discovery Miles 29 340

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners