Log in

Relevant bibliographies by topics / Computer software Verification / Books

To see the other types of publications on this topic, follow the link: Computer software Verification.

Books on the topic 'Computer software Verification'

Author: Grafiati

Published: 4 June 2021

Last updated: 30 July 2024

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 books for your research on the topic 'Computer software Verification.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse books on a wide variety of disciplines and organise your bibliography correctly.

1

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

3

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

4

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

5

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

6

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

7

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

8

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

9

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

10

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

11

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

12

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

13

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

14

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

16

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

18

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

22

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

23

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

24

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

25

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

26

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

27

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

28

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

29

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

30

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

31

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

32

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

33

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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, and other styles

35

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

36

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

37

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

38

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

39

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

40

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

41

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

42

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

43

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

44

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

45

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

46

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

47

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

48

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

49

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

50

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!