Se connecter

Bibliographies thématiques / Computer software Verification / Livres

Livres sur le sujet « Computer software Verification »

Pour voir les autres types de publications sur ce sujet consultez le lien suivant : Computer software Verification.

Auteur : Grafiati

Publié le 4 juin 2021

Mis à jour le 31 janvier 2023

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Consultez les 50 meilleurs livres pour votre recherche sur le sujet « Computer software Verification ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Parcourez les livres sur diverses disciplines et organisez correctement votre bibliographie.

1

1943-, Kurshan R. P., dir. Computer-aided verification. Boston : Kluwer Academic Publishers, 1992.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

2

Nissim, Francez. Program verification. Wokingham, Eng : Addison-Wesley Pub. Co., 1992.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

3

Nachum, Dershowitz, et Manna Zohar, dir. Verification : Theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday. Berlin : Springer-Verlag, 2004.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

4

Apt, Krzysztof R. Verification of sequential and concurrent programs. New York : Springer-Verlag, 1991.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

5

Apt, Krzysztof R. Verification of sequential and concurrent programs. 2^e éd. New York : Springer-Verlag, 1997.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

6

1952-, Colburn Timothy R., Fetzer James H. 1940- et Rankin Terry L, dir. Program verification : Fundamental issues in computer science. Dordrecht : Kluwer Academic Publishers, 1993.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

7

Almeida, José Bacelar. Rigorous software development : An introduction to program verification. London : Springer, 2011.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

8

Bergé, Jean-Michel. Hardware/Software Co-Design and Co-Verification. Boston, MA : Springer US, 1997.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

9

Jean-Michel, Bergé, Levia Oz et Rouillard Jacques, dir. Hardware/software co-design and co-verification. Boston : Kluwer Academic Publishers, 1997.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

10

Hoare, C. A. R., M. Broy et Christian Leuxner. Software and systems safety : Specification and verification. Amsterdam : IOS Press, 2011.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

11

Helgeson, John W. The software audit guide. Milwaukee, Wis : ASQ Quality Press, 2009.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

12

Summers, Boyd L. Software engineering reviews and audits. Boca Raton : CRC Press/Auerbach Publications, 2011.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

13

Quirk, William J. Verification and Validation of Real-Time Software. Berlin, Heidelberg : Springer Berlin Heidelberg, 1985.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

14

Apt, Krzysztof R. Verification of sequential and concurrent programs. 3^e éd. Dordrecht : Springer, 2009.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

15

Manna, Zohar. Temporal verification of reactive systems : Safety. New York : Springer, 1995.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

16

International Haifa Verification Conference (3rd 2007 Haifa, Israel). Hardware and software, verification and testing : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings. Berlin : Springer, 2008.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

17

Hollocker, Charles P. Software reviews and audits handbook. New York : Wiley, 1990.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

18

Ben-Ari, M. Principles of the Spin model checker. London : Springer, 2008.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

19

Glasser, Mark. Open Verification Methodology Cookbook. New York, NY : Mentor Graphics Corporation, 2009.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

20

National Bureau of Standards. Guideline for software verification and validation plans. Gaithersburg, MD : U.S. Dept. of Commerce/National Bureau of Standards, 1987.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

21

Rakitin, Steven R. Software verification and validation : A practitioner's guide. Boston : Artech House, 1997.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

22

Colburn, Timothy R. Program Verification : Fundamental Issues in Computer Science. Dordrecht : Springer Netherlands, 1993.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

23

Wallace, Dolores R. Software verification and validation : Its role in computer assurance and its relationship with software projectmanagement standards. Washington, D.C : National Institute of Standards and Technology, 1989.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

24

Apt, Krzysztof R. Verification of Sequential and Concurrent Programs. New York, NY : Springer New York, 1991.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

25

CAV (Conference) 19th 2007 Berlin, Germany). Computer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings. Berlin : Springer, 2007.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

26

Stavely, Allan M. Toward zero-defect programming. Reading, Mass : Addison-Wesley, 1999.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

27

Wallace, Dolores R. Software verification and validation : Its role in computer assurance and its relationship with software project management standards. Gaithersburg, MD : U.S. Dept. of Commerce, National Institute of Standards and Technology, 1989.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

28

Dill, D. L. Computer Aided Verification. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1994.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

29

Lettnin, Djones, et Markus Winterholer. Embedded Software Verification and Debugging. Springer, 2018.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

30

Lettnin, Djones, et Markus Winterholer. Embedded Software Verification and Debugging. Springer, 2016.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

31

Lettnin, Djones, et Markus Winterholer. Embedded Software Verification and Debugging. Markus Winterholer, 2017.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

32

Alt, RenT. Numerical Software with Result Verification. Springer, 2004.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

33

M, Shagnea Anita, Hayhurst Kelly J et Langley Research Center, dir. Software Verification Plan for GCS. Hampton, Va : National Aeronautics and Space Administration, Langley Research Center, 1990.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

34

Computer Aided Verification 24th International Conference. Springer, 2012.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

35

Garoche, Pierre-Loïc. Formal Verification of Control System Software. Princeton University Press, 2019. http://dx.doi.org/10.23943/princeton/9780691181301.001.0001.

Texte intégral

Résumé :

The verification of control system software is critical to a host of technologies and industries, from aeronautics and medical technology to the cars we drive. The failure of controller software can cost people their lives. This book provides control engineers and computer scientists with an introduction to the formal techniques for analyzing and verifying this important class of software. Too often, control engineers are unaware of the issues surrounding the verification of software, while computer scientists tend to be unfamiliar with the specificities of controller software. The book provides a unified approach that is geared to graduate students in both fields, covering formal verification methods as well as the design and verification of controllers. It presents a wealth of new verification techniques for performing exhaustive analysis of controller software. These include new means to compute nonlinear invariants, the use of convex optimization tools, and methods for dealing with numerical imprecisions such as floating point computations occurring in the analyzed software. As the autonomy of critical systems continues to increase—as evidenced by autonomous cars, drones, and satellites and landers—the numerical functions in these systems are growing ever more advanced. The techniques presented here are essential to support the formal analysis of the controller software being used in these new and emerging technologies.

Styles APA, Harvard, Vancouver, ISO, etc.

36

Dershowitz, Nachum. Verification : Theory and Practice. Springer, 2004.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

37

Almeida, José Bacelar, Maria João Frade et Jorge Sousa Pinto. Rigorous Software Development. Springer, 2011.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

38

Bultan, Tevfik, Fang Yu, Muath Alkhalaf et Abdulbaki Aydin. String Analysis for Software Verification and Security. Springer, 2018.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

39

Bultan, Tevfik, Fang Yu, Muath Alkhalaf et Abdulbaki Aydin. String Analysis for Software Verification and Security. Springer, 2019.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

40

Dasso, Aristides. Verification, Validation and Testing in Software Engineering. Idea Group Publishing, 2007.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

41

Bidoit, M., A. Finkel, B. Berard, F. Laroussinie, A. Petit, L. Petrucci et P. Schnoebelen. Systems and Software Verification : Model-Checking Techniques and Tools. Springer, 2001.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

42

Boulanger, Jean-Louis. Industrial Use of Formal Methods : Formal Verification. Wiley & Sons, Incorporated, John, 2013.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

43

Boulanger, Jean-Louis. Industrial Use of Formal Methods : Formal Verification. Wiley & Sons, Incorporated, John, 2012.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

44

Boulanger, Jean-Louis. Industrial Use of Formal Methods : Formal Verification. Wiley & Sons, Incorporated, John, 2012.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

45

Boulanger, Jean-Louis. Industrial Use of Formal Methods : Formal Verification. Wiley & Sons, Incorporated, John, 2012.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

46

Boulanger, Jean-Louis. Industrial Use of Formal Methods : Formal Verification. Wiley & Sons, Incorporated, John, 2012.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

47

Birchall, S. Invoice Verification for SAP R/3. SAP Press, 2006.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

48

Software Verification And Analysis An Integrated Handson Approach. Springer, 2009.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

49

Summers, Boyd L. Software Engineering Reviews and Audits. Auerbach Publishers, Incorporated, 2011.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

50

Summers, Boyd L. Software Engineering Reviews and Audits. Taylor & Francis Group, 2019.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!