Bibliografías temáticas / Computer software Verification / Libros

Libros sobre el tema "Computer software Verification"

Siga este enlace para ver otros tipos de publicaciones sobre el tema: Computer software Verification.
Autor: Grafiati
Publicado: 4 de junio de 2021
Última modificación: 31 de enero de 2023

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte los 50 mejores mejores libros para su investigación sobre el tema "Computer software Verification".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Explore libros sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.

1

1943-, Kurshan R. P., ed. Computer-aided verification. Boston: Kluwer Academic Publishers, 1992.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Nachum, Dershowitz y Manna Zohar, eds. Verification: Theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday. Berlin: Springer-Verlag, 2004.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Apt, Krzysztof R. Verification of sequential and concurrent programs. 2a ed. New York: Springer-Verlag, 1997.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

1952-, Colburn Timothy R., Fetzer James H. 1940- y Rankin Terry L, eds. Program verification: Fundamental issues in computer science. Dordrecht: Kluwer Academic Publishers, 1993.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Almeida, José Bacelar. Rigorous software development: An introduction to program verification. London: Springer, 2011.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Bergé, Jean-Michel. Hardware/Software Co-Design and Co-Verification. Boston, MA: Springer US, 1997.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Jean-Michel, Bergé, Levia Oz y Rouillard Jacques, eds. Hardware/software co-design and co-verification. Boston: Kluwer Academic Publishers, 1997.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Hoare, C. A. R., M. Broy y Christian Leuxner. Software and systems safety: Specification and verification. Amsterdam: IOS Press, 2011.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
11

Helgeson, John W. The software audit guide. Milwaukee, Wis: ASQ Quality Press, 2009.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
12

Summers, Boyd L. Software engineering reviews and audits. Boca Raton: CRC Press/Auerbach Publications, 2011.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
13

Quirk, William J. Verification and Validation of Real-Time Software. Berlin, Heidelberg: Springer Berlin Heidelberg, 1985.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
14

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
15

Manna, Zohar. Temporal verification of reactive systems: Safety. New York: Springer, 1995.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
16

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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
17

Hollocker, Charles P. Software reviews and audits handbook. New York: Wiley, 1990.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
18

Ben-Ari, M. Principles of the Spin model checker. London: Springer, 2008.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
19

Glasser, Mark. Open Verification Methodology Cookbook. New York, NY: Mentor Graphics Corporation, 2009.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
20

National Bureau of Standards. Guideline for software verification and validation plans. Gaithersburg, MD: U.S. Dept. of Commerce/National Bureau of Standards, 1987.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
21

Rakitin, Steven R. Software verification and validation: A practitioner's guide. Boston: Artech House, 1997.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
22

Colburn, Timothy R. Program Verification: Fundamental Issues in Computer Science. Dordrecht: Springer Netherlands, 1993.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
23

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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
24

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
25

CAV (Conference) 19th 2007 Berlin, Germany). Computer aided verification: 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings. Berlin: Springer, 2007.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
26

Stavely, Allan M. Toward zero-defect programming. Reading, Mass: Addison-Wesley, 1999.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
27

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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
28

Dill, D. L. Computer Aided Verification. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1994.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
29

Lettnin, Djones y Markus Winterholer. Embedded Software Verification and Debugging. Springer, 2018.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
30

Lettnin, Djones y Markus Winterholer. Embedded Software Verification and Debugging. Springer, 2016.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
31

Lettnin, Djones y Markus Winterholer. Embedded Software Verification and Debugging. Markus Winterholer, 2017.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
32

Alt, RenT. Numerical Software with Result Verification. Springer, 2004.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
33

M, Shagnea Anita, Hayhurst Kelly J y Langley Research Center, eds. Software Verification Plan for GCS. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1990.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
34

Computer Aided Verification 24th International Conference. Springer, 2012.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
35

Garoche, Pierre-Loïc. Formal Verification of Control System Software. Princeton University Press, 2019. http://dx.doi.org/10.23943/princeton/9780691181301.001.0001.

Texto completo
Resumen
The verification of control system software is critical to a host of technologies and industries, from aeronautics and medical technology to the cars we drive. The failure of controller software can cost people their lives. This book provides control engineers and computer scientists with an introduction to the formal techniques for analyzing and verifying this important class of software. Too often, control engineers are unaware of the issues surrounding the verification of software, while computer scientists tend to be unfamiliar with the specificities of controller software. The book provides a unified approach that is geared to graduate students in both fields, covering formal verification methods as well as the design and verification of controllers. It presents a wealth of new verification techniques for performing exhaustive analysis of controller software. These include new means to compute nonlinear invariants, the use of convex optimization tools, and methods for dealing with numerical imprecisions such as floating point computations occurring in the analyzed software. As the autonomy of critical systems continues to increase—as evidenced by autonomous cars, drones, and satellites and landers—the numerical functions in these systems are growing ever more advanced. The techniques presented here are essential to support the formal analysis of the controller software being used in these new and emerging technologies.
Los estilos APA, Harvard, Vancouver, ISO, etc.
36

Dershowitz, Nachum. Verification: Theory and Practice. Springer, 2004.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
37

Almeida, José Bacelar, Maria João Frade y Jorge Sousa Pinto. Rigorous Software Development. Springer, 2011.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
38

Bultan, Tevfik, Fang Yu, Muath Alkhalaf y Abdulbaki Aydin. String Analysis for Software Verification and Security. Springer, 2018.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
39

Bultan, Tevfik, Fang Yu, Muath Alkhalaf y Abdulbaki Aydin. String Analysis for Software Verification and Security. Springer, 2019.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
40

Dasso, Aristides. Verification, Validation and Testing in Software Engineering. Idea Group Publishing, 2007.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
41

Bidoit, M., A. Finkel, B. Berard, F. Laroussinie, A. Petit, L. Petrucci y P. Schnoebelen. Systems and Software Verification: Model-Checking Techniques and Tools. Springer, 2001.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
42

Boulanger, Jean-Louis. Industrial Use of Formal Methods: Formal Verification. Wiley & Sons, Incorporated, John, 2013.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
43

Boulanger, Jean-Louis. Industrial Use of Formal Methods: Formal Verification. Wiley & Sons, Incorporated, John, 2012.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
44

Boulanger, Jean-Louis. Industrial Use of Formal Methods: Formal Verification. Wiley & Sons, Incorporated, John, 2012.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
45

Boulanger, Jean-Louis. Industrial Use of Formal Methods: Formal Verification. Wiley & Sons, Incorporated, John, 2012.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
46

Boulanger, Jean-Louis. Industrial Use of Formal Methods: Formal Verification. Wiley & Sons, Incorporated, John, 2012.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
47

Birchall, S. Invoice Verification for SAP R/3. SAP Press, 2006.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
48

Software Verification And Analysis An Integrated Handson Approach. Springer, 2009.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
49

Summers, Boyd L. Software Engineering Reviews and Audits. Auerbach Publishers, Incorporated, 2011.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
50

Summers, Boyd L. Software Engineering Reviews and Audits. Taylor & Francis Group, 2019.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
También puede estar interesado en las bibliografías sobre el tema "Computer software Verification" para otros tipos de fuentes:
Artículos de revistas Tesis
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía