Repositorio de producción científica de la Universidad de Sevilla

Proving and Computing: Applying Automated Reasoning to the Verification of Symbolic Computation Systems

 

Advanced Search
 
Opened Access Proving and Computing: Applying Automated Reasoning to the Verification of Symbolic Computation Systems
Cites

Show item statistics
Icon
Export to
Author: Ruiz Reina, José Luis
Department: Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial
Date: 2014
Published in: AISC 2014: 12th International Conference on Artificial Intelligence and Symbolic Computation (2014), p 1-6
ISBN/ISSN: 978-3-319-13769-8
0302-9743
Document type: Presentation
Abstract: The application of automated reasoning to the formal verification of symbolic computation systems is motivated by the need of ensuring the correctness of the results computed by the system, beyond the classical approach of testing. Formal verific...
[See more]
Cite: Ruiz Reina, J.L. (2014). Proving and Computing: Applying Automated Reasoning to the Verification of Symbolic Computation Systems. En AISC 2014: 12th International Conference on Artificial Intelligence and Symbolic Computation (1-6), Sevilla, España: Springer.
Size: 116.6Kb
Format: PDF

URI: https://hdl.handle.net/11441/86390

DOI: 10.1007/978-3-319-13770-4_1

See editor´s version

This work is under a Creative Commons License: 
Attribution-NonCommercial-NoDerivatives 4.0 Internacional

This item appears in the following Collection(s)