Zaloguj się

Gotowe bibliografie tematyczne / Computer software Verification / Książki

Książki na temat „Computer software Verification”

Kliknij ten link, aby zobaczyć inne rodzaje publikacji na ten temat: Computer software Verification.

Autor: Grafiati

Data publikacji: 4 czerwca 2021

Data aktualizacji: 31 stycznia 2023

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych

Wybierz rodzaj źródła:

Sprawdź 50 najlepszych książek naukowych na temat „Computer software Verification”.

Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.

Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.

Przeglądaj książki z różnych dziedzin i twórz odpowiednie bibliografie.

1

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

2

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

3

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

4

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

5

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

6

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

7

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

8

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

9

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

10

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

11

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

12

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

13

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

14

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

15

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

17

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

18

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

19

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

20

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

21

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

22

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

24

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

26

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

28

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

29

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

30

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

31

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

32

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

33

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

34

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

36

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

37

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

38

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

39

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

40

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

41

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

42

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

43

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

44

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

45

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

46

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

47

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

48

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

49

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

50

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!