Bibliografías temáticas / Computer software Verification / Libros
Siga este enlace para ver otros tipos de publicaciones sobre el tema: Computer software Verification.

Libros sobre el tema "Computer software Verification"

Autor: Grafiati
Publicado: 4 de junio de 2021
Última modificación: 30 de julio de 2024

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

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.
3

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

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

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.
5

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.
6

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

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

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

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

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

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

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.
10

E, Ammann Paul, Ding, Wei, 1967 Sept. 14- y National Institute of Standards and Technology (U.S.), eds. Model checkers in software testing. Gaithersburg, MD: U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, 2002.

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

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

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

IEEE Computer Society. Software Engineering Standards Committee. y Institute of Electrical and Electronics Engineers., eds. IEEE Standard for software verification and validation. New York, NY: Institute of Electrical and Electronics Engineers, 1998.

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

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.
14

J, Andriole Stephen y United States. National Bureau of Standards., eds. Software validation, verification, testing, and documentation. Princeton, N.J: Petrocelli Books, 1986.

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

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.
16

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.
17

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.
18

N, Shankar y Woodcock Jim, eds. Verified software: Theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 : proceedings. New York: Springer, 2008.

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

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.

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

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.

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

Germany) NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security (2011 Bayrischzell. Software safety and security: Tools for analysis and verification. Amsterdam: IOS Press published in cooperation with NATO Emerging Security Challenges Division, 2012.

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

Schneider, Klaus. Verification of Reactive Systems: Formal Methods and Algorithms. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004.

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

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

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

Abraham, Kandel, ed. Verification and validation of rule-based expert systems. Boca Raton, Fla: CRC Press, 1993.

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

Luqi. Managing real-time software projects: Problems and issues. Monterey, Calif: Naval Postgraduate School, 1992.

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

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

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

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

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

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

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

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

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

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

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

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

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

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.
33

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.
34

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.
35

Formal Verification of Control System Software. Princeton University Press, 2019.

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

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.
37

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.
38

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.
39

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.
40

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.
41

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

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

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

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

Larsen, Kim Guldstrand, Christel Baier y Joost-Pieter Katoen. Principles of Model Checking. MIT Press, 2008.

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

Larsen, Kim Guldstrand, Christel Baier y Joost-Pieter Katoen. Principles of Model Checking. MIT Press, 2008.

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

Larsen, Kim Guldstrand, Christel Baier y Joost-Pieter Katoen. Principles of Model Checking. MIT Press, 2008.

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

Dwyer, Matthew. Model Checking Software. Springer, 2001.

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

Cavalcanti, Ana, Laure Petrucci y Cristina Seceleanu. Critical Systems: Formal Methods and Automated Verification. Springer, 2017.

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

Glasser, Mark. Open Verification Methodology Cookbook. Springer, 2014.

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

IEEE Standard for Software Verification and Validation. Inst of Elect & Electronic, 1986.

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