Parallel bounded verification of alloy models by tranScoping

Bounded verification is a technique associated with the Alloy specification language that allows one to analyze Alloy software models by looking for counterexamples of intended properties, under the assumption that data type domains are restricted in size by a provided bound (called the scope of the...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Rosner, Nicolás, Frias, Marcelo
Publicado: 2014
Materias:
Alloy Analyzer
Bounded verification
Parallel analysis
Parallel SAT-solving
Alloys
Decision making
Specification languages
Alloy analyzers
Analysis problems
Boolean satisfiability problems
Bounded verifications
Novel techniques
Parallelizations
SAT-solving
Verification
Acceso en línea:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v8164_n_p88_Rosner
http://hdl.handle.net/20.500.12110/paper_03029743_v8164_n_p88_Rosner
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares