Dynamite 2.0: New features based on UnSAT-core extraction to improve verification of software requirements

According to the Verified Software Initiative manifesto, "Lightweight techniques and tools have been remarkably successful in finding bugs and problems in software. However, their success must not stop the pursuit of this projects long-term scientific ideals". The Dynamite Proving System (...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: López Pombo, Carlos Gustavo, Frias, Marcelo
Publicado: 2010
Materias:
Alloy analyzers
Lightweight formal methods
Networking domain
Non-trivial
Proof steps
Software requirements
Theorem provers
Unsat cores
Alloys
Feature extraction
Formal methods
Program debugging
Verification
Theorem proving
Acceso en línea:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v6255LNCS_n_p275_Moscato
http://hdl.handle.net/20.500.12110/paper_03029743_v6255LNCS_n_p275_Moscato
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares