Scalable Techniques for Formal Verification
This book is about formal veri?cation, that is, the use of mathematical reasoning to ensure correct execution of computing systems. With the increasing use of c- puting systems in safety-critical and security-critical applications, it is becoming increasingly important for our well-being to ensure t...
Κύριος συγγραφέας: | Ray, Sandip (Συγγραφέας) |
---|---|
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Boston, MA :
Springer US : Imprint: Springer,
2010.
|
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
Scalable Techniques for Formal Verification
ανά: Ray, Sandip
Έκδοση: (2010) -
Scalable Hardware Verification with Symbolic Simulation
ανά: Bertacco, Valeria
Έκδοση: (2006) -
Scalable Multi-core Architectures Design Methodologies and Tools /
Έκδοση: (2012) -
High-Level Verification Methods and Tools for Verification of System-Level Designs /
ανά: Kundu, Sudipta, κ.ά.
Έκδοση: (2011) -
Open Verification Methodology Cookbook
ανά: Glasser, Mark
Έκδοση: (2009)