Dependency analysis for control flow cycles in reactive communicating processes

Zitieren

Dateien zu dieser Ressource

Prüfsumme: MD5:8f3a97c6721da2cd0460ad9f35e6039f

LEUE, Stefan, Alin STEFANESCU, Wei WEI, 2008. Dependency analysis for control flow cycles in reactive communicating processes. In: HAVELUND, Klaus, ed., Rupak MAJUMDAR, ed., Jens PALSBERG, ed.. Model Checking Software. Berlin, Heidelberg:Springer Berlin Heidelberg, pp. 176-195. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-540-85113-4

@inproceedings{Leue2008Depen-3014, title={Dependency analysis for control flow cycles in reactive communicating processes}, year={2008}, doi={10.1007/978-3-540-85114-1_14}, isbn={978-3-540-85113-4}, issn={0302-9743}, address={Berlin, Heidelberg}, publisher={Springer Berlin Heidelberg}, series={Lecture Notes in Computer Science}, booktitle={Model Checking Software}, pages={176--195}, editor={Havelund, Klaus and Majumdar, Rupak and Palsberg, Jens}, author={Leue, Stefan and Stefanescu, Alin and Wei, Wei} }

<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/3014"> <dcterms:bibliographicCitation>Publ. in: Model checking software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10 - 12 , 2008 ; proceedings / Klaus Havelund ... (eds.). - Berlin, Heidelberg: Springer, 2008, pp. 176-195. - (Lecture Notes in Computer Sciences ; 5156). - ISBN 978-3-540-85113-4</dcterms:bibliographicCitation> <dc:creator>Leue, Stefan</dc:creator> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-23T10:15:46Z</dc:date> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-23T10:15:46Z</dcterms:available> <dcterms:abstract xml:lang="eng">The execution of a reactive system amounts to the repetitions of executions of control flow cycles in the component processes of the system. The way in which cycle executions are combined is not arbitrary since cycles may depend on or exclude one another. We believe that the information of such dependencies is important to the design, understanding, and verification of reactive systems. In this paper, we formally define the concept of a cycle dependency, and propose several static analysis methods to discover such dependencies. We have implemented several strategies for computing cycle dependencies and compared their performance with realistic models of considerable size. It is also shown how the detection of accurate dependencies is used to improve a livelock freedom analysis that we developed previously.</dcterms:abstract> <dc:rights>deposit-license</dc:rights> <dc:language>eng</dc:language> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/3014"/> <dc:creator>Wei, Wei</dc:creator> <dc:contributor>Stefanescu, Alin</dc:contributor> <dcterms:rights rdf:resource="http://nbn-resolving.org/urn:nbn:de:bsz:352-20140905103416863-3868037-7"/> <dc:contributor>Leue, Stefan</dc:contributor> <dc:creator>Stefanescu, Alin</dc:creator> <dcterms:issued>2008</dcterms:issued> <dc:contributor>Wei, Wei</dc:contributor> <dcterms:title>Dependency analysis for control flow cycles in reactive communicating processes</dcterms:title> </rdf:Description> </rdf:RDF>

Dateiabrufe seit 01.10.2014 (Informationen über die Zugriffsstatistik)

Leue_118311.pdf 105

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto