Se connecter

Bibliographies thématiques / Computer software Verification / Livres

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

Livres sur le sujet « Computer software Verification »

Auteur : Grafiati

Publié le 4 juin 2021

Mis à jour le 30 juillet 2024

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., ed. Computer-aided verification. Boston: Kluwer Academic Publishers, 1992.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

2

M, Shagnea Anita, Hayhurst Kelly J, and Langley Research Center, eds. 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.

3

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.

4

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.

5

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

6

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

7

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

8

Apt, Krzysztof R. Verification of sequential and concurrent programs. 3rd ed. Dordrecht: Springer, 2009.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

9

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.

10

E, Ammann Paul, Ding, Wei, 1967 Sept. 14-, and National Institute of Standards and Technology (U.S.), eds. Model checkers in software testing. Gaithersburg, MD: U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, 2002.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

11

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.

12

IEEE Computer Society. Software Engineering Standards Committee. and Institute of Electrical and Electronics Engineers., eds. IEEE Standard for software verification and validation. New York, NY: Institute of Electrical and Electronics Engineers, 1998.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

13

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.

14

J, Andriole Stephen, and United States. National Bureau of Standards., eds. Software validation, verification, testing, and documentation. Princeton, N.J: Petrocelli Books, 1986.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

15

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.

16

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.

17

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.

18

N, Shankar, and Woodcock Jim, eds. Verified software: Theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 : proceedings. New York: Springer, 2008.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

19

VSTTE 2008 (2008 Toronto, Ont.). Verified software: Theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 : proceedings. New York: Springer, 2008.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

20

VSTTE 2008 (2008 Toronto, Ont.). Verified software: Theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 : proceedings. New York: Springer, 2008.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

21

Germany) NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security (2011 Bayrischzell. Software safety and security: Tools for analysis and verification. Amsterdam: IOS Press published in cooperation with NATO Emerging Security Challenges Division, 2012.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

22

Schneider, Klaus. Verification of Reactive Systems: Formal Methods and Algorithms. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

23

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

24

Abraham, Kandel, ed. Verification and validation of rule-based expert systems. Boca Raton, Fla: CRC Press, 1993.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

25

Luqi. Managing real-time software projects: Problems and issues. Monterey, Calif: Naval Postgraduate School, 1992.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

26

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

27

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

28

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

29

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

30

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

31

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

32

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

33

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

34

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 provid

Styles APA, Harvard, Vancouver, ISO, etc.

35

Formal Verification of Control System Software. Princeton University Press, 2019.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

36

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.

37

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.

38

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.

39

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.

40

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.

41

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

42

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

43

Larsen, Kim Guldstrand, Christel Baier, and Joost-Pieter Katoen. Principles of Model Checking. MIT Press, 2008.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

44

Larsen, Kim Guldstrand, Christel Baier, and Joost-Pieter Katoen. Principles of Model Checking. MIT Press, 2008.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

45

Larsen, Kim Guldstrand, Christel Baier, and Joost-Pieter Katoen. Principles of Model Checking. MIT Press, 2008.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

46

Dwyer, Matthew. Model Checking Software. Springer, 2001.

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

Cavalcanti, Ana, Laure Petrucci, and Cristina Seceleanu. Critical Systems: Formal Methods and Automated Verification. Springer, 2017.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

49

Glasser, Mark. Open Verification Methodology Cookbook. Springer, 2014.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

50

IEEE Standard for Software Verification and Validation. Inst of Elect & Electronic, 1986.

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!