Articles liés à Complete Symbolic Simulation of SystemC Models: Efficient...

Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs - Couverture souple

Herdt, Vladimir

 
9783658126797: Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs
Couverture souple
ISBN 10 : 3658126795 ISBN 13 : 9783658126797
Editeur : Springer Vieweg, 2016
Afficher les exemplaires de cette édition ISBN
 
 
  • ÉditeurSpringer Vieweg
  • Date d'édition2016
  • ISBN 10 3658126795
  • ISBN 13 9783658126797
  • ReliureBroché
  • Numéro d'édition1
  • Nombre de pages184

Acheter neuf

En savoir plus sur cette édition
9783658126797: Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs
EUR 57,69

Autre devise

Frais de port : Gratuit
Vers Etats-Unis

Destinations, frais et délais

Ajouter au panier

Meilleurs résultats de recherche sur AbeBooks

Image fournie par le vendeur

Herdt, Vladimir
Edité par Springer Vieweg (2016)
ISBN 10 : 3658126795 ISBN 13 : 9783658126797
Neuf Soft Cover Quantité disponible : 10
Vendeur :
booksXpress
(Bayonne, NJ, Etats-Unis)
Evaluation vendeur
Evaluation du vendeur : Evaluation 4 étoiles, Learn more about seller ratings

Description du livre Soft Cover. Etat : new. N° de réf. du vendeur 9783658126797

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 57,69
Autre devise

Ajouter au panier

Frais de port : Gratuit
Vers Etats-Unis
Destinations, frais et délais
Image d'archives

Herdt, Vladimir
Edité par Springer Vieweg (2016)
ISBN 10 : 3658126795 ISBN 13 : 9783658126797
Neuf Couverture souple Quantité disponible : > 20
Vendeur :
Lucky's Textbooks
(Dallas, TX, Etats-Unis)
Evaluation vendeur
Evaluation du vendeur : Evaluation 5 étoiles, Learn more about seller ratings

Description du livre Etat : New. N° de réf. du vendeur ABLIING23Mar3113020246094

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 55,63
Autre devise

Ajouter au panier

Frais de port : EUR 3,66
Vers Etats-Unis
Destinations, frais et délais
Image d'archives

Vladimir Herdt
Edité par Springer Vieweg (2016)
ISBN 10 : 3658126795 ISBN 13 : 9783658126797
Neuf Couverture souple Quantité disponible : > 20
impression à la demande
Vendeur :
Ria Christie Collections
(Uxbridge, Royaume-Uni)
Evaluation vendeur
Evaluation du vendeur : Evaluation 5 étoiles, Learn more about seller ratings

Description du livre Etat : New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. N° de réf. du vendeur ria9783658126797_lsuk

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 57,65
Autre devise

Ajouter au panier

Frais de port : EUR 11,72
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais
Image fournie par le vendeur

Vladimir Herdt
ISBN 10 : 3658126795 ISBN 13 : 9783658126797
Neuf Taschenbuch Quantité disponible : 2
impression à la demande
Vendeur :
BuchWeltWeit Ludwig Meier e.K.
(Bergisch Gladbach, Allemagne)
Evaluation vendeur
Evaluation du vendeur : Evaluation 5 étoiles, Learn more about seller ratings

Description du livre Taschenbuch. Etat : 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. N° de réf. du vendeur 9783658126797

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 53,49
Autre devise

Ajouter au panier

Frais de port : EUR 23
De Allemagne vers Etats-Unis
Destinations, frais et délais
Image d'archives

Herdt, Vladimir
Edité par Vieweg + Teubner Verlag (2016)
ISBN 10 : 3658126795 ISBN 13 : 9783658126797
Neuf Paperback Quantité disponible : 2
Vendeur :
Revaluation Books
(Exeter, Royaume-Uni)
Evaluation vendeur
Evaluation du vendeur : Evaluation 5 étoiles, Learn more about seller ratings

Description du livre Paperback. Etat : Brand New. 184 pages. 8.25x5.75x0.75 inches. In Stock. N° de réf. du vendeur x-3658126795

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 67,63
Autre devise

Ajouter au panier

Frais de port : EUR 11,74
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais
Image d'archives

Herdt, Vladimir
ISBN 10 : 3658126795 ISBN 13 : 9783658126797
Neuf Couverture souple Quantité disponible : 15
Vendeur :
Kennys Bookshop and Art Galleries Ltd.
(Galway, GY, Irlande)
Evaluation vendeur
Evaluation du vendeur : Evaluation 5 étoiles, Learn more about seller ratings

Description du livre Etat : New. Series: BestMasters. Num Pages: 181 pages, 26 black & white illustrations, 13 black & white tables, biography. BIC Classification: UK; UMZ; UYA. Category: (G) General (US: Trade). Dimension: 210 x 148 x 11. Weight in Grams: 249. . 2016. Paperback. . . . . N° de réf. du vendeur V9783658126797

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 71,97
Autre devise

Ajouter au panier

Frais de port : EUR 10,50
De Irlande vers Etats-Unis
Destinations, frais et délais
Image d'archives

Herdt, Vladimir
Edité par Springer Vieweg 2016-03 (2016)
ISBN 10 : 3658126795 ISBN 13 : 9783658126797
Neuf PF Quantité disponible : 10
Vendeur :
Chiron Media
(Wallingford, Royaume-Uni)
Evaluation vendeur
Evaluation du vendeur : Evaluation 5 étoiles, Learn more about seller ratings

Description du livre PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783658126797

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 66,83
Autre devise

Ajouter au panier

Frais de port : EUR 17,60
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais
Image fournie par le vendeur

Vladimir Herdt
ISBN 10 : 3658126795 ISBN 13 : 9783658126797
Neuf Taschenbuch Quantité disponible : 1
Vendeur :
AHA-BUCH GmbH
(Einbeck, Allemagne)
Evaluation vendeur
Evaluation du vendeur : Evaluation 5 étoiles, Learn more about seller ratings

Description du livre Taschenbuch. Etat : 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. N° de réf. du vendeur 9783658126797

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 56,45
Autre devise

Ajouter au panier

Frais de port : EUR 32,99
De Allemagne vers Etats-Unis
Destinations, frais et délais
Image fournie par le vendeur

Vladimir Herdt
ISBN 10 : 3658126795 ISBN 13 : 9783658126797
Neuf Couverture souple Quantité disponible : > 20
impression à la demande
Vendeur :
moluna
(Greven, Allemagne)
Evaluation vendeur
Evaluation du vendeur : Evaluation 5 étoiles, Learn more about seller ratings

Description du livre Etat : 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.&nbspVerification of Systems .- Introduction to Formal V. N° de réf. du vendeur 112484666

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 48,37
Autre devise

Ajouter au panier

Frais de port : EUR 48,99
De Allemagne vers Etats-Unis
Destinations, frais et délais
Image d'archives

Herdt, Vladimir
ISBN 10 : 3658126795 ISBN 13 : 9783658126797
Neuf Couverture souple Quantité disponible : 15
Vendeur :
Kennys Bookstore
(Olney, MD, Etats-Unis)
Evaluation vendeur
Evaluation du vendeur : Evaluation 4 étoiles, Learn more about seller ratings

Description du livre Etat : New. Series: BestMasters. Num Pages: 181 pages, 26 black & white illustrations, 13 black & white tables, biography. BIC Classification: UK; UMZ; UYA. Category: (G) General (US: Trade). Dimension: 210 x 148 x 11. Weight in Grams: 249. . 2016. Paperback. . . . . Books ship from the US and Ireland. N° de réf. du vendeur V9783658126797

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 88,19
Autre devise

Ajouter au panier

Frais de port : EUR 9,63
Vers Etats-Unis
Destinations, frais et délais