Conference paper

ČEŠKA Milan, HAŠA Luděk and VOJNAR Tomáš. Partial Order Reduction in Model Checking of Object-Oriented Petri Nets. In: Cast and Complexity in Biological, Physical and Engineering Systems, Extended Abstracts, Eurocast 2003. Las Palmas de Gran Canaria, Canary Islands: University of Las Palmas, 2003, pp. 254-256. ISBN 84-688-0820-2.
Publication language:english
Original title:Partial Order Reduction in Model Checking of Object-Oriented Petri Nets
Title (cs):Metoda Partial Order Reduction ve formální verifikaci Objektově orientovaných Petriho sítí.
Pages:254-256
Proceedings:Cast and Complexity in Biological, Physical and Engineering Systems, Extended Abstracts, Eurocast 2003
Conference:Ninth International Conference on Computer Aided Systems Theory
Place:Las Palmas de Gran Canaria, Canary Islands, ES
Year:2003
ISBN:84-688-0820-2
Publisher:University of Las Palmas
Keywords
object-oriented Petri nets, formal analysis and verification, state space, model checking, partial order reduction
Annotation
In this paper, we discuss some on-the-fly methods for model checking over OOPNs, i.e. methods in which generation of state spaces is done simultaneously with (and is guided by) checking the appropriate property. A big challenge in finite-state model checking is the state space explosion problem, i.e. the exponential growth of state spaces. Fortunately, there have been proposed many advanced methods for reducing state spaces. One of the most successful methods (especially when dealing with software systems) is the so-called partial-order reduction. We examine how this method can be used in the context of OOPNs, which bring in features like dynamic instantiation, late binding, garbage collection, etc.
BibTeX:
@INPROCEEDINGS{
   author = {Milan {\v{C}}e{\v{s}}ka and Lud{\v{e}}k Ha{\v{s}}a and
	Tom{\'{a}}{\v{s}} Vojnar},
   title = {Partial Order Reduction in Model Checking of Object-Oriented
	Petri Nets},
   pages = {254--256},
   booktitle = {Cast and Complexity in Biological, Physical and Engineering
	Systems, Extended Abstracts, Eurocast 2003},
   year = {2003},
   location = {Las Palmas de Gran Canaria, Canary Islands, ES},
   publisher = {University of Las Palmas},
   ISBN = {84-688-0820-2},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=7152}
}

Your IPv4 address: 54.163.210.170
Switch to IPv6 connection

DNSSEC [dnssec]