|
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,862
Discovery Miles 18 620
|
|
|
Complete Symbolic Simulation of SystemC Models - Efficient Formal Verification of Finite Non-Terminating Programs (Paperback, 1st ed. 2016)
Series: BestMasters
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
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!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
