Accedi

Bibliografie tematiche / Computer software Verification / Libri

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

Libri sul tema "Computer software Verification"

Autore: Grafiati

Pubblicato: 4 giugno 2021

Ultima modifica: 30 luglio 2024

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

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

3

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

4

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

5

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

6

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

7

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

8

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

9

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

10

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

11

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

12

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

13

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

14

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

16

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

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.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

18

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

22

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

23

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

24

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

25

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

26

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

27

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

28

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

29

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

30

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

31

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

32

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

33

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

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.

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

35

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

36

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

37

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

38

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

39

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

40

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

41

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

42

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

43

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

44

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

45

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

46

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

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

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

49

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

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

50

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

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!