Combining structural and symbolic methods for the verification of concurrent systems

Inici | Què és? | Contacte

English | Castellano

Consultar RECERCAT

Per comunitats i
col·leccions Per data Per autors Per títols Per matèries

Consultar col·lecció

Per data Per autors Per títols Per matèries

Estadístiques

Del document Tot RECERCAT

El meu RECERCAT

Entrar Alertes per correu-e

Directori d’altres repositoris

Pàgina inicial del RECERCAT > Universitat Politècnica de Catalunya > Documents de recerca > Visualitza document

Per accedir als documents amb el text complet, si us plau, seguiu el següent enllaç: http://hdl.handle.net/2117/130424

dc.contributor	Universitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.contributor	Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
dc.contributor.author	Cortadella, Jordi
dc.date	1998
dc.identifier.citation	Cortadella, J. Combining structural and symbolic methods for the verification of concurrent systems. A: International Conference on Application of Concurrency to System Design. "1998 International Conference on Application of Concurrency to System Design: March 23-26, 1998, Fukushima, Japan: proceedings". Institute of Electrical and Electronics Engineers (IEEE), 1998, p. 2-7.
dc.identifier.citation	0-8186-8350-3
dc.identifier.citation	10.1109/CSD.1998.657533
dc.identifier.uri	http://hdl.handle.net/2117/130424
dc.language.iso	eng
dc.publisher	Institute of Electrical and Electronics Engineers (IEEE)
dc.relation	https://ieeexplore.ieee.org/document/657533
dc.rights	info:eu-repo/semantics/openAccess
dc.subject	Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica
dc.subject	Computer software -- Verification
dc.subject	Petri nets
dc.subject	State-space methods
dc.subject	Logic
dc.subject	Encoding
dc.subject	Explosions
dc.subject	Concurrent computing
dc.subject	Databases
dc.subject	Interleaved codes
dc.subject	Skeleton
dc.subject	Programari -- Verificació
dc.subject	Petri, Xarxes de
dc.title	Combining structural and symbolic methods for the verification of concurrent systems
dc.type	info:eu-repo/semantics/publishedVersion
dc.type	info:eu-repo/semantics/conferenceObject
dc.description.abstract	The contributions during the last few years on the structural theory of Petri nets can now be applied to formal verification. The structural theory provides methods to find efficient encoding schemes for symbolic representations of the reachable markings. It also provides approximations of the state space that allow one to alleviate many bottlenecks in the calculation of the reachability set by breadth or depth first search algorithms. The paper reviews some of the results on the structural theory and explains how they can be incorporated in a model checking verification framework for concurrent systems.
dc.description.abstract	Peer Reviewed

Mostra el registre simple del document

Documents relacionats

Altres documents del mateix autor/a

Synthesis of speed-independent circuits from STG-unfolding segment

Semenov, Alex; Yakovlev, Alex; Pastor Llorens, Enric; Peña Basurto, Marco Antonio; Cortadella, Jordi

Decomposition and technology mapping of speed-independent circuits using Boolean relations

Cortadella, Jordi; Kishinevsky, Michael; Kondratyev, Alex; Lavagno, Luciano; Pastor Llorens, Enric; Yakovlev, Alex

Efficient encoding schemes for symbolic analysis of Petri nets

Pastor Llorens, Enric; Cortadella, Jordi

Identifying state coding conflicts in asynchronous system specifications using Petri net unfoldings

Kondratyev, Alex; Cortadella, Jordi; Kishinevsky, Michael; Lavagno, Luciano; Taubin, Alexander; Yakovlev, Alex

Extension of the working-zone-encoding method to reduce the energy on the microprocessor data bus

Lang, Tomás; Musoll Cinca, Enric; Cortadella, Jordi

Accessibilitat | Avís legal | Política de Cookies | Documents d'ús intern

Coordinació

Patrocini