Zaloguj się

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

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

Książki na temat „Computer software Verification”

Autor: Grafiati

Data publikacji: 4 czerwca 2021

Data aktualizacji: 30 lipca 2024

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

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.

3

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.

4

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.

5

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.

6

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.

7

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.

8

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.

9

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.

10

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

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

Style APA, Harvard, Vancouver, ISO itp.

11

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.

12

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

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

Style APA, Harvard, Vancouver, ISO itp.

13

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.

14

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

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

Style APA, Harvard, Vancouver, ISO itp.

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.

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

Style APA, Harvard, Vancouver, ISO itp.

16

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.

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.

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

Style APA, Harvard, Vancouver, ISO itp.

18

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

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

Style APA, Harvard, Vancouver, ISO itp.

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.

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

Style APA, Harvard, Vancouver, ISO itp.

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.

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

Style APA, Harvard, Vancouver, ISO itp.

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.

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

Style APA, Harvard, Vancouver, ISO itp.

22

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

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

Style APA, Harvard, Vancouver, ISO itp.

23

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

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

Style APA, Harvard, Vancouver, ISO itp.

24

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

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

Style APA, Harvard, Vancouver, ISO itp.

25

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

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

Style APA, Harvard, Vancouver, ISO itp.

26

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.

27

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.

28

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.

29

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

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

Style APA, Harvard, Vancouver, ISO itp.

30

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

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

Style APA, Harvard, Vancouver, ISO itp.

31

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

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

Style APA, Harvard, Vancouver, ISO itp.

32

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.

33

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.

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.

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.

35

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

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

Style APA, Harvard, Vancouver, ISO itp.

36

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.

37

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.

38

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.

39

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.

40

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.

41

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.

42

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.

43

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

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

Style APA, Harvard, Vancouver, ISO itp.

44

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

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

Style APA, Harvard, Vancouver, ISO itp.

45

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

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

Style APA, Harvard, Vancouver, ISO itp.

46

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

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

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

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

Style APA, Harvard, Vancouver, ISO itp.

49

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

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

Style APA, Harvard, Vancouver, ISO itp.

50

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

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!