Model checking legal documents

This article presents the FORMALEX toolset, an approach to legislative drafting that, based on the similarities between software specifications and some types of regulations, uses off-the-shelf LTL model checkers to perform automatic analysis on normative systems. © 2010 The authors and IOS Press. A...

Descripción completa

Detalles Bibliográficos
Autores principales:	Gorín, Daniel Alejandro, Mera, Sergio Fernando, Schapachnik, Fernando Pablo
Publicado:	2010
Materias:	Automated Legislative Drafting Model Checking Regulations Laws and legislation Automatic analysis Legal documents Model checker Normative system Software Specification Toolsets Model checking
Acceso en línea:	https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_09226389_v223_n_p151_Gorin http://hdl.handle.net/20.500.12110/paper_09226389_v223_n_p151_Gorin
Aporte de:	Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

id	paper:paper_09226389_v223_n_p151_Gorin
record_format	dspace
spelling	paper:paper_09226389_v223_n_p151_Gorin2023-06-08T15:50:54Z Model checking legal documents Gorín, Daniel Alejandro Mera, Sergio Fernando Schapachnik, Fernando Pablo Automated Legislative Drafting Model Checking Regulations Laws and legislation Automated Legislative Drafting Automatic analysis Legal documents Model checker Normative system Software Specification Toolsets Model checking This article presents the FORMALEX toolset, an approach to legislative drafting that, based on the similarities between software specifications and some types of regulations, uses off-the-shelf LTL model checkers to perform automatic analysis on normative systems. © 2010 The authors and IOS Press. All rights reserved. Fil:Gorín, D. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. Fil:Mera, S. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. Fil:Schapachnik, F. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. 2010 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_09226389_v223_n_p151_Gorin http://hdl.handle.net/20.500.12110/paper_09226389_v223_n_p151_Gorin
institution	Universidad de Buenos Aires
institution_str	I-28
repository_str	R-134
collection	Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
topic	Automated Legislative Drafting Model Checking Regulations Laws and legislation Automated Legislative Drafting Automatic analysis Legal documents Model checker Normative system Software Specification Toolsets Model checking
spellingShingle	Automated Legislative Drafting Model Checking Regulations Laws and legislation Automated Legislative Drafting Automatic analysis Legal documents Model checker Normative system Software Specification Toolsets Model checking Gorín, Daniel Alejandro Mera, Sergio Fernando Schapachnik, Fernando Pablo Model checking legal documents
topic_facet	Automated Legislative Drafting Model Checking Regulations Laws and legislation Automated Legislative Drafting Automatic analysis Legal documents Model checker Normative system Software Specification Toolsets Model checking
description	This article presents the FORMALEX toolset, an approach to legislative drafting that, based on the similarities between software specifications and some types of regulations, uses off-the-shelf LTL model checkers to perform automatic analysis on normative systems. © 2010 The authors and IOS Press. All rights reserved.
author	Gorín, Daniel Alejandro Mera, Sergio Fernando Schapachnik, Fernando Pablo
author_facet	Gorín, Daniel Alejandro Mera, Sergio Fernando Schapachnik, Fernando Pablo
author_sort	Gorín, Daniel Alejandro
title	Model checking legal documents
title_short	Model checking legal documents
title_full	Model checking legal documents
title_fullStr	Model checking legal documents
title_full_unstemmed	Model checking legal documents
title_sort	model checking legal documents
publishDate	2010
url	https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_09226389_v223_n_p151_Gorin http://hdl.handle.net/20.500.12110/paper_09226389_v223_n_p151_Gorin
work_keys_str_mv	AT gorindanielalejandro modelcheckinglegaldocuments AT merasergiofernando modelcheckinglegaldocuments AT schapachnikfernandopablo modelcheckinglegaldocuments
_version_	1768543331472637952

Model checking legal documents

Ejemplares similares