Applying formal verification techniques to verify a Fetch Unit

Authors: Jiménez González, Adrián

Contributors: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors, Moreno Vega, Alberto, Espasa Sans, Roger

Subject Terms: Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors, Computer programs--Testing, Verificació Formal, Assercions, Proves, Complexitat, Tècniques de reducció, Formal Verification, Assertions, Proofs, Complexity, Reduction Techniques, Programes d'ordinador--Verificació

File Description: application/pdf

Relation: https://hdl.handle.net/2117/418186; 188837

Availability: https://hdl.handle.net/2117/418186

TINTIN: A management Tool for concurrent INcremental INTegrity checking of SQL assertions

Authors: Holly Miró, Francesc

Contributors: Oriol Hilari, Xavier, Teniente López, Ernest, Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació

Source: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)

Subject Terms: SQL (Computer program language), Regles lògiques, Assercions, Regles de negoci, SQL, Integrity, Assertions, Integritat, First-Order Logic, Lògica de Primer Ordre, SQL (Llenguatge de programació), Bases de Dades Relacionals, Relational Databases, Bases de dades relacionals, Comprovació incremental, Concurrency, Business rules, Incremental validation, Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació, Concurrència, Relational databases, Logic constraints

File Description: application/pdf

Access URL: https://hdl.handle.net/2117/384725

Diskussionssysteme

Authors: Clemente Laboreo, Daniel

Contributors: Sure, York

Subject Terms: Àrees temàtiques de la UPC::Informàtica::Programació, Discussion, Computer software -- Design, Argumentació amb l'ordinador, Llenguatges formals per a descriure assercions, Programes d'ajuda per a la manipulació i visualització d'arguments, Discussió, Programari -- Disseny

File Description: application/pdf

Relation: https://hdl.handle.net/2099.1/5841

Availability: https://hdl.handle.net/2099.1/5841

Applying formal verification techniques to verify a Fetch Unit

Authors: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors, Moreno Vega, Alberto, Espasa Sans, Roger, Jiménez González, Adrián

Index Terms: Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors, Computer programs--Testing, Verificació Formal, Assercions, Proves, Complexitat, Tècniques de reducció, Formal Verification, Assertions, Proofs, Complexity, Reduction Techniques, Programes d'ordinador--Verificació, Master thesis

URL: https://hdl.handle.net/2117/418186

TINTIN: A management Tool for concurrent INcremental INTegrity checking of SQL assertions

Authors: Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació, Oriol Hilari, Xavier, Teniente López, Ernest, Holly Miró, Francesc

Index Terms: Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació, SQL (Computer program language), Relational databases, Assercions, Integritat, Concurrència, Comprovació incremental, Regles de negoci, Regles lògiques, Lògica de Primer Ordre, SQL, Bases de Dades Relacionals, Assertions, Integrity, Concurrency, Incremental validation, Business rules, Logic constraints, First-Order Logic, Relational Databases, SQL (Llenguatge de programació), Bases de dades relacionals, Bachelor thesis

URL: https://hdl.handle.net/2117/384725

Diskussionssysteme

Authors: Sure, York, Clemente Laboreo, Daniel

Index Terms: Àrees temàtiques de la UPC::Informàtica::Programació, Discussion, Computer software -- Design, Argumentació amb l'ordinador, Llenguatges formals per a descriure assercions, Programes d'ajuda per a la manipulació i visualització d'arguments, Discussió, Programari -- Disseny, Master thesis (pre-Bologna period)

URL: https://hdl.handle.net/2099.1/5841