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, D., Mera, S., Schapachnik, F.
Formato:	SER
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:	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	todo:paper_09226389_v223_n_p151_Gorin
record_format	dspace
spelling	todo:paper_09226389_v223_n_p151_Gorin2023-10-03T15:45:46Z Model checking legal documents Gorín, D. Mera, S. Schapachnik, F. 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. SER info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar 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, D. Mera, S. Schapachnik, F. 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.
format	SER
author	Gorín, D. Mera, S. Schapachnik, F.
author_facet	Gorín, D. Mera, S. Schapachnik, F.
author_sort	Gorín, D.
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
url	http://hdl.handle.net/20.500.12110/paper_09226389_v223_n_p151_Gorin
work_keys_str_mv	AT gorind modelcheckinglegaldocuments AT meras modelcheckinglegaldocuments AT schapachnikf modelcheckinglegaldocuments
_version_	1807320469388394496

Model checking legal documents

Ejemplares similares