Automated Predicate Abstraction for Real-Time Models

Zitieren

Dateien zu dieser Ressource

Prüfsumme: MD5:b9c0c2b9e78542091da4960827409807

BADBAN, Bahareh, Stefan LEUE, Jan-Georg SMAUS, 2009. Automated Predicate Abstraction for Real-Time Models

@inproceedings{Badban2009Autom-5960, title={Automated Predicate Abstraction for Real-Time Models}, year={2009}, author={Badban, Bahareh and Leue, Stefan and Smaus, Jan-Georg}, note={Accepted for publication in: International Workshop on Verification of Infinite-State Systems (INFINITY 2009) EPTCS 10, 2009, pp. 36-43} }

<rdf:RDF xmlns:dcterms="http://purl.org/dc/terms/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:void="http://rdfs.org/ns/void#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/rdf/resource/123456789/5960"> <dcterms:rights rdf:resource="http://nbn-resolving.org/urn:nbn:de:bsz:352-20140905103416863-3868037-7"/> <dc:contributor>Badban, Bahareh</dc:contributor> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/5960"/> <dc:contributor>Smaus, Jan-Georg</dc:contributor> <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/5960/1/Automated_Predicate_Abstraction_for_Real_Time_Models_2009_KOPS10599.pdf"/> <dc:rights>deposit-license</dc:rights> <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/5960/1/Automated_Predicate_Abstraction_for_Real_Time_Models_2009_KOPS10599.pdf"/> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dcterms:abstract xml:lang="eng">We present a technique designed to automatically compute predicate abstractions for dense real-timed models represented as networks of timed automata. We use the CIPM algorithm in our previous work which computes new invariants for timed automata control locations and prunes the model, to compute a predicate abstraction of the model. We do so by taking information regarding control locations and their newly computed invariants into account. We also discuss a prototype implementation of our technique.</dcterms:abstract> <dc:creator>Badban, Bahareh</dc:creator> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-24T16:08:24Z</dc:date> <dc:creator>Smaus, Jan-Georg</dc:creator> <dcterms:issued>2009</dcterms:issued> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-24T16:08:24Z</dcterms:available> <dc:format>application/pdf</dc:format> <dc:language>eng</dc:language> <dc:contributor>Leue, Stefan</dc:contributor> <dc:creator>Leue, Stefan</dc:creator> <dcterms:title>Automated Predicate Abstraction for Real-Time Models</dcterms:title> </rdf:Description> </rdf:RDF>

Dateiabrufe seit 01.10.2014 (Informationen über die Zugriffsstatistik)

Automated_Predicate_Abstraction_for_Real_Time_Models_2009_KOPS10599.pdf 28

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto