Order Total (1 Item Items):
Shipping Destination:
Complete Symbolic Simulation Systemc by Herdt Vladimir (18 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (18)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (14)
- As New, Fine or Near Fine (4)
- Very Good or Good (No further results match this refinement)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (18)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (9)
- Not Print on Demand (13)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
-
-
-
Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs (BestMasters)
Book 25 of 91: BestMastersLanguage: English
Published by Springer Vieweg 2016-03-29, 2016
ISBN 10: 3658126795 ISBN 13: 9783658126797
Paperback. Condition: New.
-
-
Complete Symbolic Simulation of Systemc Models : Efficient Formal Verification of Finite Non-terminating Programs
Book 25 of 91: BestMastersSeller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Complete Symbolic Simulation of Systemc Models: Efficient Formal Verification of Finite Non-terminating Programs
Book 25 of 91: BestMastersLanguage: English
Published by Vieweg + Teubner Verlag, 2016
ISBN 10: 3658126795 ISBN 13: 9783658126797
Paperback. Condition: Brand New. 184 pages. 8.25x5.75x0.75 inches. In Stock.
-
Complete Symbolic Simulation of SystemC Models
Book 25 of 91: BestMastersLanguage: English
Published by Springer Fachmedien Wiesbaden, Springer Fachmedien Wiesbaden Mär 2016, 2016
ISBN 10: 3658126795 ISBN 13: 9783658126797
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -In hismaster thesis, Vladimir Herdt presents a novel approach, called completesymbolic simulation, for a more efficient verification ofmuch larger (non-terminating) SystemC programs. Theapproach combines symbolic simulation with stateful model checking and allowsto verify safety properties in (cyclic) finite state spaces, by exhaustiveexploration of all possible inputs and process schedulings. The state explosionproblem is alleviated by integrating two complementary reduction techniques. Comparedto existing approaches, the complete symbolic simulation works more efficientlyand therefore can provide correctness proofs for larger systems, which is oneof the most challenging tasks, due to the ever increasing complexity.Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Straße 46, 65189 Wiesbaden 184 pp. Englisch.
-
Complete Symbolic Simulation of SystemC Models : Efficient Formal Verification of Finite Non-Terminating Programs
Book 25 of 91: BestMastersLanguage: English
Published by Springer Fachmedien Wiesbaden, 2016
ISBN 10: 3658126795 ISBN 13: 9783658126797
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - In hismaster thesis, Vladimir Herdt presents a novel approach, called completesymbolic simulation, for a more efficient verification ofmuch larger (non-terminating) SystemC programs. Theapproach combines symbolic simulation with stateful model checking and allowsto verify safety properties in (cyclic) finite state spaces, by exhaustiveexploration of all possible inputs and process schedulings. The state explosionproblem is alleviated by integrating two complementary reduction techniques. Comparedto existing approaches, the complete symbolic simulation works more efficiently,and therefore can provide correctness proofs for larger systems, which is oneof the most challenging tasks, due to the ever increasing complexity.
-
Complete Symbolic Simulation of Systemc Models : Efficient Formal Verification of Finite Non-terminating Programs
Book 25 of 91: BestMastersSeller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 101.99
£ 15 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Paperback. Condition: Like New. Like New. book.
-
Condition: As New. Unread book in perfect condition.
-
Complete Symbolic Simulation of SystemC Models : Efficient Formal Verification of Finite Non-Terminating Programs
Book 25 of 91: BestMasters£ 35.47 10% off£ 31.93
£ 91.93 shipping
Ships from Germany to U.S.A.Quantity: 1 available
Add to basketCondition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
-
Complete Symbolic Simulation of SystemC Models
Book 25 of 91: BestMastersLanguage: English
Published by Springer Fachmedien Wiesbaden Mrz 2016, 2016
ISBN 10: 3658126795 ISBN 13: 9783658126797
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In hismaster thesis, Vladimir Herdt presents a novel approach, called completesymbolic simulation, for a more efficient verification ofmuch larger (non-terminating) SystemC programs. Theapproach combines symbolic simulation with stateful model checking and allowsto verify safety properties in (cyclic) finite state spaces, by exhaustiveexploration of all possible inputs and process schedulings. The state explosionproblem is alleviated by integrating two complementary reduction techniques. Comparedto existing approaches, the complete symbolic simulation works more efficiently,and therefore can provide correctness proofs for larger systems, which is oneof the most challenging tasks, due to the ever increasing complexity. 184 pp. Englisch.
-
Condition: New. Print on Demand pp. 162.
-
Condition: New. PRINT ON DEMAND pp. 162.
-
Complete Symbolic Simulation of SystemC Models
Book 25 of 91: BestMastersLanguage: English
Published by Springer Fachmedien Wiesbaden, 2016
ISBN 10: 3658126795 ISBN 13: 9783658126797
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Study in Computer SciencesVladimir Herdt is working as ResearchAssistant in the Group of Computer Architecture at the University of Bremen,where he is pursuing his PhD degree. Verification of Systems .- Introduction to Formal V.
-
Complete Symbolic Simulation of SystemC Models | Efficient Formal Verification of Finite Non-Terminating Programs
Book 25 of 91: BestMastersLanguage: English
Published by Springer Fachmedien Wiesbaden, 2016
ISBN 10: 3658126795 ISBN 13: 9783658126797
Taschenbuch. Condition: Neu. Complete Symbolic Simulation of SystemC Models | Efficient Formal Verification of Finite Non-Terminating Programs | Vladimir Herdt | Taschenbuch | xix | Englisch | 2016 | Springer Fachmedien Wiesbaden | EAN 9783658126797 | Verantwortliche Person für die EU: Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Str. 46, 65189 Wiesbaden, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
