Książki na temat „Model and Program Verification”

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

George, Sabolish, i United States. National Aeronautics and Space Administration., red. 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.

U.S. Nuclear Regulatory Commission. Office of Nuclear Regulatory Research, red. 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.

Francesco, Logozzo, Peled Doron 1962- i Zuck Lenore D. 1958-, red. 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, red. 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, red. 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, red. Specification and verification of gate-level VHDL models of synchronous and asynchronous circuits. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1995.

Hana, Chockler, i Hu, Alan J. (Alan John), red. 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., i NASA Glenn Research Center, red. 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, red. Measurement-based reliability/performability models. [Hampton, VA: Langley Research Ctr., 1987.

Center, Langley Research, red. Measurement-based reliability/performability models. [Hampton, VA: Langley Research Ctr., 1987.

Center, Langley Research, red. Measurement-based reliability/performability models. [Hampton, VA: Langley Research Ctr., 1987.

Center, Langley Research, red. 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 i United States. National Aeronautics and Space Administration., red. 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 i United States. National Aeronautics and Space Administration., red. 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 i Lewis Research Center, red. 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 i Lewis Research Center, red. 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 i Lewis Research Center, red. 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 i Terry L. Rankin, red. Program Verification. Dordrecht: Springer Netherlands, 1993. http://dx.doi.org/10.1007/978-94-011-1793-7.

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

Canada. Dept. of External Affairs., red. Verification research: Canada's Verification Research Program. Ottawa, Ont: External Affairs Canada, 1988.

United States. Environmental Protection Agency. Office of Research and Development., red. 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 i United States. National Aeronautics and Space Administration., red. 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.

1966-, Engelhardt Kai, i Buth Karl-Heinz, red. 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, i Kurt Sieber. The Foundations of Program Verification. Wiesbaden: Vieweg+Teubner Verlag, 1987. http://dx.doi.org/10.1007/978-3-322-96753-4.

Kurt, Sieber, i Stansifer Ryan D, red. The foundations of program verification. Wyd. 2. Stuttgart: B.G. Teubner, 1987.

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

Finkbeiner, Bernd, i Thomas Wies, red. Verification, Model Checking, and Abstract Interpretation. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-94583-1.

Cortesi, Agostino, red. Verification, Model Checking, and Abstract Interpretation. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-47813-2.

Enea, Constantin, i Ruzica Piskac, red. 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., i Xavier Rival, red. 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, i Andrey Rybalchenko, red. 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 i Supratik Mukhopadhyay, red. Verification, Model Checking, and Abstract Interpretation. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-36384-x.

Beyer, Dirk, i Damien Zufferey, red. Verification, Model Checking, and Abstract Interpretation. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-39322-9.