Alloy+HotCore: A fast approximation to unsat core

Identifying a minimal unsatisfiable core in an Alloy model proved to be a very useful feature in many scenarios. We extend this concept to hot core, an approximation to unsat core that enables the user to obtain valuable feedback when the Alloy's sat-solving process is abruptly interrupted. We...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: D'Ippolito, N., Frias, M.F., Galeotti, J.P., Lanzarotti, E., Mera, S.
Formato: SER
Materias:
Alloy analyzers
Fast approximation
Np-completeness
SAT-solving
Time thresholds
Unsatisfiable core
Verification problems
Abstracting
Contour followers
Alloys
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_03029743_v5977LNCS_n_p160_DIppolito
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares