Books on the topic 'Computer software Verification'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
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.
1943-, Kurshan R. P., ed. Computer-aided verification. Boston: Kluwer Academic Publishers, 1992.
Nissim, Francez. Program verification. Wokingham, Eng: Addison-Wesley Pub. Co., 1992.
Nachum, Dershowitz, and Manna Zohar, eds. Verification: Theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday. Berlin: Springer-Verlag, 2004.
Apt, Krzysztof R. Verification of sequential and concurrent programs. New York: Springer-Verlag, 1991.
Apt, Krzysztof R. Verification of sequential and concurrent programs. 2nd ed. New York: Springer-Verlag, 1997.
1952-, Colburn Timothy R., Fetzer James H. 1940-, and Rankin Terry L, eds. Program verification: Fundamental issues in computer science. Dordrecht: Kluwer Academic Publishers, 1993.
Almeida, José Bacelar. Rigorous software development: An introduction to program verification. London: Springer, 2011.
Bergé, Jean-Michel. Hardware/Software Co-Design and Co-Verification. Boston, MA: Springer US, 1997.
Jean-Michel, Bergé, Levia Oz, and Rouillard Jacques, eds. Hardware/software co-design and co-verification. Boston: Kluwer Academic Publishers, 1997.
Hoare, C. A. R., M. Broy, and Christian Leuxner. Software and systems safety: Specification and verification. Amsterdam: IOS Press, 2011.
Helgeson, John W. The software audit guide. Milwaukee, Wis: ASQ Quality Press, 2009.
Summers, Boyd L. Software engineering reviews and audits. Boca Raton: CRC Press/Auerbach Publications, 2011.
Quirk, William J. Verification and Validation of Real-Time Software. Berlin, Heidelberg: Springer Berlin Heidelberg, 1985.
Apt, Krzysztof R. Verification of sequential and concurrent programs. 3rd ed. Dordrecht: Springer, 2009.
Manna, Zohar. Temporal verification of reactive systems: Safety. New York: Springer, 1995.
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.
Hollocker, Charles P. Software reviews and audits handbook. New York: Wiley, 1990.
Ben-Ari, M. Principles of the Spin model checker. London: Springer, 2008.
Glasser, Mark. Open Verification Methodology Cookbook. New York, NY: Mentor Graphics Corporation, 2009.
National Bureau of Standards. Guideline for software verification and validation plans. Gaithersburg, MD: U.S. Dept. of Commerce/National Bureau of Standards, 1987.
Rakitin, Steven R. Software verification and validation: A practitioner's guide. Boston: Artech House, 1997.
Colburn, Timothy R. Program Verification: Fundamental Issues in Computer Science. Dordrecht: Springer Netherlands, 1993.
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.
Apt, Krzysztof R. Verification of Sequential and Concurrent Programs. New York, NY: Springer New York, 1991.
CAV (Conference) 19th 2007 Berlin, Germany). Computer aided verification: 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings. Berlin: Springer, 2007.
Stavely, Allan M. Toward zero-defect programming. Reading, Mass: Addison-Wesley, 1999.
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.
Dill, D. L. Computer Aided Verification. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1994.
Lettnin, Djones, and Markus Winterholer. Embedded Software Verification and Debugging. Springer, 2018.
Lettnin, Djones, and Markus Winterholer. Embedded Software Verification and Debugging. Springer, 2016.
Lettnin, Djones, and Markus Winterholer. Embedded Software Verification and Debugging. Markus Winterholer, 2017.
Alt, RenT. Numerical Software with Result Verification. Springer, 2004.
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.
Computer Aided Verification 24th International Conference. Springer, 2012.
Garoche, Pierre-Loïc. Formal Verification of Control System Software. Princeton University Press, 2019. http://dx.doi.org/10.23943/princeton/9780691181301.001.0001.
Dershowitz, Nachum. Verification: Theory and Practice. Springer, 2004.
Almeida, José Bacelar, Maria João Frade, and Jorge Sousa Pinto. Rigorous Software Development. Springer, 2011.
Bultan, Tevfik, Fang Yu, Muath Alkhalaf, and Abdulbaki Aydin. String Analysis for Software Verification and Security. Springer, 2018.
Bultan, Tevfik, Fang Yu, Muath Alkhalaf, and Abdulbaki Aydin. String Analysis for Software Verification and Security. Springer, 2019.
Dasso, Aristides. Verification, Validation and Testing in Software Engineering. Idea Group Publishing, 2007.
Bidoit, M., A. Finkel, B. Berard, F. Laroussinie, A. Petit, L. Petrucci, and P. Schnoebelen. Systems and Software Verification: Model-Checking Techniques and Tools. Springer, 2001.
Boulanger, Jean-Louis. Industrial Use of Formal Methods: Formal Verification. Wiley & Sons, Incorporated, John, 2013.
Boulanger, Jean-Louis. Industrial Use of Formal Methods: Formal Verification. Wiley & Sons, Incorporated, John, 2012.
Boulanger, Jean-Louis. Industrial Use of Formal Methods: Formal Verification. Wiley & Sons, Incorporated, John, 2012.
Boulanger, Jean-Louis. Industrial Use of Formal Methods: Formal Verification. Wiley & Sons, Incorporated, John, 2012.
Boulanger, Jean-Louis. Industrial Use of Formal Methods: Formal Verification. Wiley & Sons, Incorporated, John, 2012.
Birchall, S. Invoice Verification for SAP R/3. SAP Press, 2006.
Software Verification And Analysis An Integrated Handson Approach. Springer, 2009.
Summers, Boyd L. Software Engineering Reviews and Audits. Auerbach Publishers, Incorporated, 2011.
Summers, Boyd L. Software Engineering Reviews and Audits. Taylor & Francis Group, 2019.