Accedi

Bibliografie tematiche / Computer software Verification / Libri

Libri sul tema "Computer software Verification"

Segui questo link per vedere altri tipi di pubblicazioni sul tema: Computer software Verification.

Autore: Grafiati

Pubblicato: 4 giugno 2021

Ultima modifica: 31 gennaio 2023

Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili

Scegli il tipo di fonte:

Vedi i top-50 libri per l'attività di ricerca sul tema "Computer software Verification".

Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.

Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.

Vedi i libri di molte aree scientifiche e compila una bibliografia corretta.

1

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

2

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

3

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

4

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

5

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

6

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

7

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

8

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

9

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

10

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

11

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

12

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

13

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

14

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

15

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

17

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

18

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

19

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

20

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

21

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

22

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

24

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

26

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

28

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

29

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

30

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

31

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

32

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

33

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

34

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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.

Gli stili APA, Harvard, Vancouver, ISO e altri

36

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

37

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

38

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

39

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

40

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

41

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

42

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

43

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

44

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

45

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

46

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

47

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

48

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

49

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

50

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Offriamo sconti su tutti i piani premium per gli autori le cui opere sono incluse in raccolte letterarie tematiche. Contattaci per ottenere un codice promozionale unico!