Books on the topic 'Computer programs – Verification'

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

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

-R, Olderog E., ed. Verification of sequential and concurrent programs. 2nd ed. New York: Springer-Verlag, 1997.

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

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

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

A survey of verification techniques for parallel programs. Berlin: Springer-Verlag, 1985.

Kurt, Sieber, and Stansifer Ryan D, eds. The foundations of program verification. 2nd ed. Stuttgart: B.G. Teubner, 1987.

Richard, Lai. Communication protocol specification and verification. Boston: Kluwer Academic, 1998.

An introduction to formal program verification. New York: Van Nostrand Reinhold Co., 1985.

Jack, Callahan, and United States. National Aeronautics and Space Administration., eds. Formal methods of V&V of partial specifications: An experience report. [Washington, DC]: National Aeronautics and Space Administration, 1997.

Loeckx, Jacques. The foundations of program verification. 2nd ed. Stuttgart: Teubner, 1987.

Backhouse, Roland C. Program construction and verification. Englewood Cliffs, N.J: Prentice-Hall International, 1986.

Lai, Richard. Communication Protocol Specification and Verification. Boston, MA: Springer US, 1998.

Center, Ames Research, ed. Verification and performance tests of HYCAR program. Moffett Field, Calif: National Aeronautics and Space Administration, Ames Research Center, 1987.

Barringer, Howard. A survey of verification techniques for parallel programs. Berlin: Springer, 1985.

Abramov, S. A. Ėlementy analiza programm: Chastichnye funkt͡s︡ii na mnozhestve sostoi͡a︡niĭ. Moskva: "Nauka," Glav. red. fiziko-matematicheskoĭ lit-ry, 1986.

Butler, Ricky W. Hardware proofs using EHDM and the RSRE verification methodology. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1989.

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.

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.

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.

Berglund, Tim. Building and testing with Gradle. Sebastopol, CA: O'Reilly Media, 2011.

Modular compiler verification: A refinement-algebraic approach advocating stepwise abstraction. Berlin: Springer, 1997.

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.

K, Levitt, and United States. National Aeronautics and Space Administration. Scientific and Technical Information Program., eds. The formal verification of generic interpreters. [Washington, DC]: National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program, 1991.

University of Cambridge. Computer Laboratory, Churchill College, British Computer Society, and Council of Professors and Heads of Computing (Great Britain), eds. Logics and analyses for concurrent heap-manipulating programs. [London]: [British Computer Society], 2009.

Futschek, Gerald. Programmentwicklung und Verifikation. Wien: Springer-Verlag, 1989.

Agostino, Cortesi, ed. Verification, model checking, and abstract interpretation: Third international workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers. Berlin: Springer, 2002.

Shimeall, Timothy J. FALTER--a fault annotation tool. Monterey, California: Naval Postgraduate School, 1989.

Francesco, Logozzo, Peled Doron 1962-, and Zuck Lenore D. 1958-, eds. Verification, model checking, and abstract interpretation: 9th international conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008 : proceedings. Berlin: Springer, 2008.

VMCAI 2004 (Conference) (2004 Venice, Italy). Verification, model checking, and abstract interpretation: 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings. Berlin: Springer, 2004.

Dahl, Ole-Johan. Verifiable programming. New York: Prentice Hall, 1992.

VERkshop (3rd 1985 Watsonville, Calif.). Proceedings of VERkshop III--a formal verification workshop, 18-21 February 1985, Pajaro Dunes Conference Center, Watsonville, California. New York, NY: ACM Special Interest Group on Software Engineering, 1985.

Velʹder, S. Ė. Verifikat︠s︡ii︠a︡ avtomatnykh programm. Sankt-Peterburg: "Nauka", 2011.

Karen, Yorav, ed. Hardware and software, verification and testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings. Berlin: Springer, 2008.

Sánchez, Arantza Díaz de Ilarraza. Verificación de programas y metodología de la programación. Bilbao: Servicio Editorial, Universidad del Pais Vasco, 1990.

National Computer Security Center (U.S.), ed. Guidelines for formal verification systems. [Fort George G. Meade, MD]: National Computer Security Center, 1989.

John, Nowakowski, and Langley Research Center, eds. Flight guidance system validation using SPIN. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1998.

Lyndon B. Johnson Space Center. Information Technology Division. and University of Houston--Clear Lake. Research Institute for Computing and Information Systems., eds. Expert System verification and validation survey: Delivery 3 : recommendations. [Houston, Tex.]: NASA Johnson Space Center, Information Systems Directorate, Information Technology Division, 1990.

A, Meade Kathleen, ed. A practical guide to adopting the Universal Verification Methodology (UVM). San Jose, CA: Cadence Design Systems, 2010.

Programming logics: An introduction to verification and semantics. New York: Wiley, 1989.

Escriva, A. LAPUR5.2 verification and user's manual. Washington, D.C: U.S. Nuclear Regulatory Commission, 2001.

Dampier, David A. A model for merging software prototypes. Monterey, Calif: Naval Postgraduate School, 1992.

Bradley, Aaron R. The calculus of computation: Decision procedures with applications to verification. Germany [1990-onward]: Springer Verlag, 2007.

International Business Machines Corporation. Expert System verification and validation survey: Delivery 2 : survey results. [Clear Lake City, Tex.]: Research Institute for Computing and Information Systems, University of Houston-Clear Lake, 1990.

Jarrett, Robert D. Computer program NCALC user's manual: Verification of Manning's roughness coefficient in channels. Lakewood, Colo: U.S. Dept. of the Interior, Geological Survey, 1986.

J, March-Leuba, U.S. Nuclear Regulatory Commission. Division of Systems Safety and Analysis., Oak Ridge National Laboratory, and Universidad Politécnica de Valencia, eds. LAPUR5.2 verification and user's manual. Washington, DC: Division of Systems Safety and Analysis, Office of Nuclear Reactor Regulation, U.S. Nuclear Regulatory Commission, 2001.

J, Roy Christopher, ed. Verification and validation in scientific computing. New York: Cambridge University Press, 2010.

John, Callahan, and United States. National Aeronautics and Space Administration., eds. Formal methods for verification and validation of partial specifications: A case study. [Fairmont, W. Va.]: West Virginia University, 1997.

John, Callahan, and United States. National Aeronautics and Space Administration., eds. Formal methods for verification and validation of partial specifications: A case study. [Fairmont, W. Va.]: West Virginia University, 1997.