Picture 1 of 3

Stock photo
Stock photo
Complete Symbolic Simulation of systemC Models: Efficient Formal Verification - Picture 1 of 3
Complete Symbolic Simulation of systemC Models: Efficient Formal Verification - Picture 2 of 3
Complete Symbolic Simulation of systemC Models: Efficient Formal Verification - Picture 3 of 3

Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs by Vladimir Herdt (Paperback, 2016)

Be the first towrite a review.
  • simplybestprices-10to20dayshipping (471092)
  • 98.2% positive Feedback
Price:
AU $164.00
Free postage
Estimated delivery Fri, 28 Jun - Thu, 25 Jul
Returns:
30-day returns. Buyer pays for return postage.
Condition:
Brand new
Verification of Systems. - Introduction to Formal Verification of SystemC Models. - Symbolic Model Checking with Partial Order Reduction. - Efficient Symbolic State Matching using State Subsumption.