Einloggen

Thematische Bibliographien / Computer software Verification / Bücher

Um die anderen Arten von Veröffentlichungen zu diesem Thema anzuzeigen, folgen Sie diesem Link: Computer software Verification.

Bücher zum Thema „Computer software Verification“

Autor: Grafiati

Veröffentlicht am 4. Juni 2021

Zuletzt aktualisiert am 30. Juli 2024

Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an

Wählen Sie eine Art der Quelle aus:

Machen Sie sich mit Top-50 Bücher für die Forschung zum Thema "Computer software Verification" bekannt.

Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.

Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.

Sehen Sie die Bücher für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.

1

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

2

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

3

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

4

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

5

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

6

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

7

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

8

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

9

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

10

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

11

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

12

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

13

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

14

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

16

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

18

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

22

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

23

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

24

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

25

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

26

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

27

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

28

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

29

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

30

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

31

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

32

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

33

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

35

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

36

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

37

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

38

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

39

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

40

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

41

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

42

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

43

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

44

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

45

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

46

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

47

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

48

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

49

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

50

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Wir bieten Rabatte auf alle Premium-Pläne für Autoren, deren Werke in thematische Literatursammlungen aufgenommen wurden. Kontaktieren Sie uns, um einen einzigartigen Promo-Code zu erhalten!