Books on the topic 'Formal 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 'Formal 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.
Kropf, Thomas, ed. Formal Hardware Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/3-540-63475-4.
Full textDrechsler, Rolf, ed. Advanced Formal Verification. Boston, MA: Springer US, 2004. http://dx.doi.org/10.1007/b105236.
Full textDrechsler, Rolf, ed. Formal System Verification. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-57685-5.
Full textRolf, Drechsler, ed. Advanced formal verification. Boston: Kluwer Academic Publishers, 2004.
Find full textDrechsler, Rolf. Formal Verification of Circuits. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/978-1-4757-3184-2.
Full textDrechsler, Rolf. Formal Verification of Circuits. Boston, MA: Springer US, 2000.
Find full textBoulanger, Jean-Louis. Industrial used of formal method: Formal verification. London: ISTE, 2012.
Find full textKropf, Thomas. Introduction to Formal Hardware Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999.
Find full textBernardo, Marco, and Alessandro Cimatti, eds. Formal Methods for Hardware Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11757283.
Full textRay, Sandip. Scalable Techniques for Formal Verification. Boston, MA: Springer US, 2010. http://dx.doi.org/10.1007/978-1-4419-5998-0.
Full textKropf, Thomas. Introduction to Formal Hardware Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/978-3-662-03809-3.
Full textNational Computer Security Center (U.S.), ed. Guidelines for formal verification systems. [Fort George G. Meade, MD]: National Computer Security Center, 1989.
Find full textUnited States. Department of Defense. National Computer Security Center. Guidelines for formal verification systems. Fort George G. Meade, Md: Department of Defense, National Computer Security Center, 1989.
Find full textMichael, Yoeli, ed. Formal verification of hardware design. Los Alamos, Calif: IEEE Computer Society Press, 1990.
Find full textGordon, M. J. C. Hardware verification by formal proof. Cambridge: University of Cambridge, Cambridge Laboratory, 1985.
Find full textMargaria, Tiziana, and Bernhard Steffen, eds. Leveraging Applications of Formal Methods, Verification and Validation. Verification. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-03421-4.
Full textMargaria, Tiziana, and Bernhard Steffen, eds. Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-19849-6.
Full textMargaria, Tiziana, and Bernhard Steffen, eds. Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-61362-4.
Full textGanai, Malay K., and Aarti Gupta. SAT-Based Scalable Formal Verification Solutions. Boston, MA: Springer US, 2007. http://dx.doi.org/10.1007/978-0-387-69167-1.
Full textZhan, Naijun, Shuling Wang, and Hengjun Zhao. Formal Verification of Simulink/Stateflow Diagrams. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-47016-0.
Full textBeckert, Bernhard, Ferruccio Damiani, and Dilian Gurov, eds. Formal Verification of Object-Oriented Software. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-31762-0.
Full textBeckert, Bernhard, and Claude Marché, eds. Formal Verification of Object-Oriented Software. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-18070-5.
Full textWindley, Philip. The formal verification of generic interpreters. Hampton, Va: Langley Research Center, 1991.
Find full textMahzoon, Alireza, Daniel Große, and Rolf Drechsler. Formal Verification of Structurally Complex Multipliers. Cham: Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-24571-8.
Full textK, 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.
Find full textHerbert, John. Formal verification of basic memory devices. Cambridge: University of Cambridge, Computer Laboratory, 1988.
Find full textSrivas, Mandayam K. Formal verification of an avionics microprocessor. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1995.
Find full textAn introduction to formal program verification. New York: Van Nostrand Reinhold Co., 1985.
Find full textSchnieber, Martha. Polynomial Formal Verification of Approximate Functions. Wiesbaden: Springer Fachmedien Wiesbaden, 2023. http://dx.doi.org/10.1007/978-3-658-41888-5.
Full textLevitt, Karl. Formal verification of a microcoded VIPER microprocessor using HOL. Hampton, Va: Langley Research Center, 1993.
Find full textRussinoff, David M. Formal Verification of Floating-Point Hardware Design. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-87181-9.
Full textPetrucci, Laure, Cristina Seceleanu, and Ana Cavalcanti, eds. Critical Systems: Formal Methods and Automated Verification. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-67113-0.
Full textRussinoff, David M. Formal Verification of Floating-Point Hardware Design. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-319-95513-1.
Full textter Beek, Maurice H., Stefania Gnesi, and Alexander Knapp, eds. Critical Systems: Formal Methods and Automated Verification. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-45943-1.
Full textJones, Robert B. Symbolic Simulation Methods for Industrial Formal Verification. Boston, MA: Springer US, 2002. http://dx.doi.org/10.1007/978-1-4615-1101-4.
Full textP, Miller Steven, Langley Research Center, and United States. National Aeronautics and Space Administration., eds. Formal verification of the AAMP-FV microcode. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1999.
Find full textP, Miller Steven, and Langley Research Center, eds. Formal verification of the AAMP-FV microcode. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1999.
Find full textFormal specification and verification of digital systems. London: McGraw-Hill, 1994.
Find full textB, Jones Robert. Symbolic Simulation Methods for Industrial Formal Verification. Boston, MA: Springer US, 2002.
Find full textDavie, Bruce S. Formal specification and verification in VLSI design. Edinburgh: Edinburgh University Press, 1990.
Find full textJones, Robert B. Symbolic simulation methods for industrial formal verification. Boston: Kluwer Academic Publishers, 2002.
Find full textMargaria, Tiziana, and Bernhard Steffen, eds. Leveraging Applications of Formal Methods, Verification and Validation. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-89159-6.
Full textMargaria, Tiziana, and Bernhard Steffen, eds. Leveraging Applications of Formal Methods, Verification and Validation. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-88479-8.
Full textDrechsler, Rolf, and Ulrich Kühne, eds. Formal Modeling and Verification of Cyber-Physical Systems. Wiesbaden: Springer Fachmedien Wiesbaden, 2015. http://dx.doi.org/10.1007/978-3-658-09994-7.
Full textMargaria, Tiziana, and Bernhard Steffen, eds. Leveraging Applications of Formal Methods, Verification, and Validation. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-16558-0.
Full textMargaria, Tiziana, and Bernhard Steffen, eds. Leveraging Applications of Formal Methods, Verification, and Validation. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-16561-0.
Full textLamprecht, Anna-Lena, ed. Leveraging Applications of Formal Methods, Verification, and Validation. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-51641-7.
Full textHavelund, Klaus, Manuel Núñez, Grigore Roşu, and Burkhart Wolff, eds. Formal Approaches to Software Testing and Runtime Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11940197.
Full textHähnle, Reiner, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, and Bernhard Steffen, eds. Leveraging Applications of Formal Methods, Verification, and Validation. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-34781-8.
Full text1961-, Kropf Thomas, ed. Formal hardware verification: Methods and systems in comparison. Berlin: Springer, 1997.
Find full text