Books on the topic 'Model and Program 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 'Model and Program 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.
Dampier, David A. A model for merging software prototypes. Monterey, Calif: Naval Postgraduate School, 1992.
George, Sabolish, and United States. National Aeronautics and Space Administration., eds. A process improvement model for software verification and validation. [Morgantown, West Va.]: West Virginia University, 1994.
Larsen, Gunner C. Verification of Design Basis Program 2: A coupled aeroelastic wind turbine model. Roskilde, Denmark: Risø National Laboratory, 1994.
Wang, Jong-Rong. The development and verification of TRACE model for IIST experiments. Washington, DC: Office of Nuclear Regulatory Research, U.S. Nuclear Regulatory Commission, 2011.
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.
VMCAI 2008 (2008 San Francisco, Calif.). Verification, model checking, and abstract interpretation: 9th international conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008 : proceedings. Berlin: Springer, 2008.
Center, Langley Research, ed. A verification procedure for MSC/NASTRAN finite element models. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1995.
VMCAI 2002 (2002 Venice, Italy). Verification, model checking, and abstract interpretation: Third international workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers. Berlin: Springer, 2002.
Roever, W. P. de. Data refinement: Model-oriented proof methods and their comparison. Cambridge: Cambridge University Press, 2009.
VMCAI 2005 (2005 Paris, France). Verification, model checking, and abstract interpretation: 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings. Berlin: Springer, 2005.
Center, Langley Research, ed. Specification and verification of gate-level VHDL models of synchronous and asynchronous circuits. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1995.
Center, Langley Research, ed. Specification and verification of gate-level VHDL models of synchronous and asynchronous circuits. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1995.
International Haifa Verification Conference (4th 2008 Haifa, Israel). Hardware and software: Verification and testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 : proceedings. Berlin: Springer, 2009.
David, Hutchison. Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009.
B, Gatski T., and NASA Glenn Research Center, eds. Summary of EASM turbulence models in CFL3D with validation test cases. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 2003.
VMCAI 2010 (2010 Madrid, Spain). Verification, model checking, and abstract interpretation: 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings. Berlin: Springer, 2010.
Giacobazzi, Roberto. Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.
Jhala, Ranjit. Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011.
Center, Langley Research, ed. Measurement-based reliability/performability models. [Hampton, VA: Langley Research Ctr., 1987.
Center, Langley Research, ed. Measurement-based reliability/performability models. [Hampton, VA: Langley Research Ctr., 1987.
Center, Langley Research, ed. Measurement-based reliability/performability models. [Hampton, VA: Langley Research Ctr., 1987.
Center, Langley Research, ed. Measurement-based reliability/performability models. [Hampton, VA: Langley Research Ctr., 1987.
Namjoshi, Kedar S. Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011.
VMCAI 2004 (2004 Venice, Italy). Verification, model checking, and abstract interpretation: 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings. New York: Springer, 2004.
VMCAI 2004 (2004 Venice, Italy). Verification, model checking, and abstract interpretation: 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 ; proceedings. Berlin: Springer, 2004.
1925-, Georgiadis Nicholas, Smith Crawford F, and United States. National Aeronautics and Space Administration., eds. Validation of the NPARC code for nozzle afterbody flows at transonic speeds. [Washington, DC]: National Aeronautics and Space Administration, 1995.
J, Georgiadis Nicholas, Smith Crawford F, and United States. National Aeronautics and Space Administration., eds. Validation of the NPARC code for nozzle afterbody flows at transonic speeds. [Washington, DC]: National Aeronautics and Space Administration, 1995.
Kuncak, Viktor. Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.
Donaldson, Alastair. Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.
J, Hall Edward, Delaney Robert A, and Lewis Research Center, eds. Follow-on low noise fan aerodynamic study: Task 15-final report. [Cleveland, Ohio]: National Aeronautics and Space Administration, Lewis Research Center, 1999.
J, Hall Edward, Delaney R. A, and Lewis Research Center, eds. Follow-on low noise fan aerodynamic study: Task 15-final report. [Cleveland, Ohio]: National Aeronautics and Space Administration, Lewis Research Center, 1999.
J, Hall Edward, Delaney Robert A, and Lewis Research Center, eds. Follow-on low noise fan aerodynamic study: Task 15-final report. [Cleveland, Ohio]: National Aeronautics and Space Administration, Lewis Research Center, 1999.
Colburn, Timothy R., James H. Fetzer, and Terry L. Rankin, eds. Program Verification. Dordrecht: Springer Netherlands, 1993. http://dx.doi.org/10.1007/978-94-011-1793-7.
Nissim, Francez. Program verification. Wokingham, Eng: Addison-Wesley Pub. Co., 1992.
Canada. Dept. of External Affairs., ed. Verification research: Canada's Verification Research Program. Ottawa, Ont: External Affairs Canada, 1988.
United States. Environmental Protection Agency. Office of Research and Development., ed. Environmental Technology Verification Program: Verification strategy. Washington, DC: Office of Research and Development, U.S. Environmental Protection Agency, 1997.
C, Dudek Julianne, Tierney Thomas P, and United States. National Aeronautics and Space Administration., eds. Grid resolution and turbulent inflow boundary condition recommendations for NPARC calculations. [Washington, DC]: National Aeronautics and Space Administration, 1995.
Pace, Kyongsuk P. FNMOC model verification system. Monterey, Calif: Naval Postgraduate School, 1998.
Roever, W. P. de. Data refinement: Model-oriented proof methods and their comparison. Cambridge, UK: Cambridge University Press, 1998.
Backhouse, Roland C. Program construction and verification. Englewood Cliffs, N.J: Prentice-Hall International, 1986.
Loeckx, Jacques, and Kurt Sieber. The Foundations of Program Verification. Wiesbaden: Vieweg+Teubner Verlag, 1987. http://dx.doi.org/10.1007/978-3-322-96753-4.
Loeckx, Jacques. The foundations of program verification. 2nd ed. Stuttgart: B.G. Teubner, 1987.
Loeckx, Jacques. The foundations of program verification. 2nd ed. Stuttgart: Teubner, 1987.
Finkbeiner, Bernd, and Thomas Wies, eds. Verification, Model Checking, and Abstract Interpretation. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-94583-1.
Cortesi, Agostino, ed. Verification, Model Checking, and Abstract Interpretation. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-47813-2.
Enea, Constantin, and Ruzica Piskac, eds. Verification, Model Checking, and Abstract Interpretation. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-11245-5.
McMillan, Kenneth L., and Xavier Rival, eds. Verification, Model Checking, and Abstract Interpretation. Berlin, Heidelberg: Springer Berlin Heidelberg, 2014. http://dx.doi.org/10.1007/978-3-642-54013-4.
Kuncak, Viktor, and Andrey Rybalchenko, eds. Verification, Model Checking, and Abstract Interpretation. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-27940-9.
Zuck, Lenore D., Paul C. Attie, Agostino Cortesi, and Supratik Mukhopadhyay, eds. Verification, Model Checking, and Abstract Interpretation. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-36384-x.
Beyer, Dirk, and Damien Zufferey, eds. Verification, Model Checking, and Abstract Interpretation. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-39322-9.