Specification Languages for Stutter-Invariant Regular Properties

Zitieren

Dateien zu dieser Ressource

Prüfsumme: MD5:cca04c25f9932833d272dbe4780cdb1e

DAX, Christian, Felix KLAEDTKE, Stefan LEUE, 2009. Specification Languages for Stutter-Invariant Regular Properties. In: LIU, Zhiming, ed., Anders P. RAVN, ed.. Automated Technology for Verification and Analysis. Berlin, Heidelberg:Springer Berlin Heidelberg, pp. 244-254. ISBN 978-3-642-04760-2. Available under: doi: 10.1007/978-3-642-04761-9_19

@inproceedings{Dax2009Speci-6381, title={Specification Languages for Stutter-Invariant Regular Properties}, year={2009}, doi={10.1007/978-3-642-04761-9_19}, number={5799}, isbn={978-3-642-04760-2}, address={Berlin, Heidelberg}, publisher={Springer Berlin Heidelberg}, series={Lecture Notes in Computer Science}, booktitle={Automated Technology for Verification and Analysis}, pages={244--254}, editor={Liu, Zhiming and Ravn, Anders P.}, author={Dax, Christian and Klaedtke, Felix and Leue, Stefan} }

<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/6381"> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dcterms:issued>2009</dcterms:issued> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-24T16:12:20Z</dcterms:available> <dc:format>application/pdf</dc:format> <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/6381/1/LNCS5799.pdf"/> <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/6381/1/LNCS5799.pdf"/> <dc:contributor>Klaedtke, Felix</dc:contributor> <dcterms:bibliographicCitation>First publ. in: Automated technology for verification and analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14 - 16, 2009; proceedings / Zhiming Liu ... (eds.). Heidelberg; Berlin: Springer, 2009, pp. 244-254 (=Lecture Notes in Computer Science ; vol. 5799)</dcterms:bibliographicCitation> <dc:creator>Klaedtke, Felix</dc:creator> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dc:language>eng</dc:language> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-24T16:12:20Z</dc:date> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dc:contributor>Leue, Stefan</dc:contributor> <dcterms:title>Specification Languages for Stutter-Invariant Regular Properties</dcterms:title> <dc:creator>Dax, Christian</dc:creator> <dcterms:rights rdf:resource="http://nbn-resolving.org/urn:nbn:de:bsz:352-20140905103416863-3868037-7"/> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/6381"/> <dc:rights>deposit-license</dc:rights> <dc:contributor>Dax, Christian</dc:contributor> <dc:creator>Leue, Stefan</dc:creator> <dcterms:abstract xml:lang="eng">We present specification languages that naturally capture exactly the regular and ω-regular properties that are stutter invariant. Our specification languages are variants of the classical regular expressions and of the core of PSL, a temporal logic, which is widely used in industry and which extends the classical linear-time temporal logic LTL by semi-extended regular expressions.</dcterms:abstract> </rdf:Description> </rdf:RDF>

Dateiabrufe seit 01.10.2014 (Informationen über die Zugriffsstatistik)

LNCS5799.pdf 177

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto