Heuristic Search for Unbounded Executions

Zitieren

Dateien zu dieser Ressource

Prüfsumme: MD5:eed4d9d577c689c7bd1a844a36538542

KUNTZ, Matthias, Stefan LEUE, Christoph SCHEBEN, Wei WEI, Sen YANG, 2009. Heuristic Search for Unbounded Executions

@techreport{Kuntz2009Heuri-6228, title={Heuristic Search for Unbounded Executions}, year={2009}, author={Kuntz, Matthias and Leue, Stefan and Scheben, Christoph and Wei, Wei and Yang, Sen} }

<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:dcterms="http://purl.org/dc/terms/" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/rdf/resource/123456789/6228"> <dc:contributor>Kuntz, Matthias</dc:contributor> <dc:language>eng</dc:language> <dc:contributor>Leue, Stefan</dc:contributor> <dc:rights>deposit-license</dc:rights> <dcterms:title>Heuristic Search for Unbounded Executions</dcterms:title> <dc:contributor>Yang, Sen</dc:contributor> <dc:creator>Scheben, Christoph</dc:creator> <dcterms:rights rdf:resource="http://nbn-resolving.org/urn:nbn:de:bsz:352-20140905103416863-3868037-7"/> <dc:creator>Leue, Stefan</dc:creator> <dc:format>application/pdf</dc:format> <dcterms:abstract xml:lang="eng">We present a heuristic search based approach to finding un- bounded executions in software models that can be described using Com- municating Finite State Machines (CFSMs). This improves the unbound- edness test devised by Jeron and Jard in case certain knowledge about potential sources of unboundedness is available. Such knowledge can be obtained from a boundedness analysis that we designed in precursory work. We evaluate the effectiveness of several different heuristics and search strategies. To show the feasibility of our approach, we compare the performance of the heuristic search algorithms with that of uninformed search algorithms in detecting unbounded executions for a number of case studies. We discuss the applicability of our approach to high level modeling languages for concurrent systems such as Promela.</dcterms:abstract> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-24T16:10:23Z</dc:date> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-24T16:10:23Z</dcterms:available> <dc:creator>Kuntz, Matthias</dc:creator> <dcterms:issued>2009</dcterms:issued> <dc:contributor>Wei, Wei</dc:contributor> <dc:creator>Wei, Wei</dc:creator> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/6228"/> <dc:creator>Yang, Sen</dc:creator> <dc:contributor>Scheben, Christoph</dc:contributor> </rdf:Description> </rdf:RDF>

Dateiabrufe seit 01.10.2014 (Informationen über die Zugriffsstatistik)

atva09_submission_25.pdf 89

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto