Model checking CSPZ: Techniques to overcome state explosion

Description

Made available in DSpace on 2014-06-12T15:53:07Z (GMT). No. of bitstreams: 2
arquivo4927_1.pdf: 1466209 bytes, checksum: 2dd8cd7b46b828a5aa1d2a3f50a6ebef (MD5)
license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5)
Previous issue date: 2001 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Cabral Mota, Alexandre; Cezar Alves Sampaio, Augusto. Model checking CSPZ: Techniques to overcome state explosion. 2001. Tese (Doutorado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2001.

Links & Downloads

1. Cabral Mota, Alexandre; Cezar Alves Sampaio, Augusto. Model checking CSPZ: Techniques to overcome state explosion. 2001. Tese (Doutorado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2001.
2. https://repositorio.ufpe.br/handle/123456789/1909

Tags

CSPz

Algorithm implementations

Exponential explosion

Theorem

Additional Fields

Identifer	oai:union.ndltd.org:IBICT/oai:repositorio.ufpe.br:123456789/1909
Date	January 2001
Creators	MOTA, Alexandre Cabral
Contributors	Sampaio, Augusto Cezar Alves
Publisher	Universidade Federal de Pernambuco
Source Sets	IBICT Brazilian ETDs
Language	English
Detected Language	Portuguese
Type	info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/doctoralThesis
Source	reponame:Repositório Institucional da UFPE, instname:Universidade Federal de Pernambuco, instacron:UFPE
Rights	info:eu-repo/semantics/openAccess