Specification Languages for Stutter-Invariant Regular Properties

Lade...
Vorschaubild
Dateien
LNCS5799.pdf
LNCS5799.pdfGröße: 147.72 KBDownloads: 715
Datum
2009
Autor:innen
Dax, Christian
Klaedtke, Felix
Herausgeber:innen
Kontakt
ISSN der Zeitschrift
Electronic ISSN
ISBN
Bibliografische Daten
Verlag
Schriftenreihe
Auflagebezeichnung
ArXiv-ID
Internationale Patentnummer
Angaben zur Forschungsförderung
Projekt
Open Access-Veröffentlichung
Open Access Green
Core Facility der Universität Konstanz
Gesperrt bis
Titel in einer weiteren Sprache
Forschungsvorhaben
Organisationseinheiten
Zeitschriftenheft
Publikationstyp
Beitrag zu einem Konferenzband
Publikationsstatus
Published
Erschienen in
LIU, Zhiming, ed., Anders P. RAVN, ed.. Automated Technology for Verification and Analysis. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009, pp. 244-254. Lecture Notes in Computer Science. 5799. ISBN 978-3-642-04760-2. Available under: doi: 10.1007/978-3-642-04761-9_19
Zusammenfassung

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.

Zusammenfassung in einer weiteren Sprache
Fachgebiet (DDC)
004 Informatik
Schlagwörter
Konferenz
Rezension
undefined / . - undefined, undefined
Zitieren
ISO 690DAX, 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, 2009, pp. 244-254. Lecture Notes in Computer Science. 5799. ISBN 978-3-642-04760-2. Available under: doi: 10.1007/978-3-642-04761-9_19
BibTex
@inproceedings{Dax2009Speci-6381,
  year={2009},
  doi={10.1007/978-3-642-04761-9_19},
  title={Specification Languages for Stutter-Invariant Regular Properties},
  number={5799},
  isbn={978-3-642-04760-2},
  publisher={Springer Berlin Heidelberg},
  address={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: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/server/rdf/resource/123456789/6381">
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/6381/1/LNCS5799.pdf"/>
    <dcterms:issued>2009</dcterms:issued>
    <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>
    <dcterms:title>Specification Languages for Stutter-Invariant Regular Properties</dcterms:title>
    <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>
    <dc:contributor>Dax, Christian</dc:contributor>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-24T16:12:20Z</dcterms:available>
    <dc:contributor>Klaedtke, Felix</dc:contributor>
    <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/6381"/>
    <dc:format>application/pdf</dc:format>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/6381/1/LNCS5799.pdf"/>
    <dc:language>eng</dc:language>
    <dc:creator>Dax, Christian</dc:creator>
    <dc:contributor>Leue, Stefan</dc:contributor>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-24T16:12:20Z</dc:date>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dc:rights>terms-of-use</dc:rights>
    <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
    <dc:creator>Leue, Stefan</dc:creator>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
  </rdf:Description>
</rdf:RDF>
Interner Vermerk
xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter
Kontakt
URL der Originalveröffentl.
Prüfdatum der URL
Prüfungsdatum der Dissertation
Finanzierungsart
Kommentar zur Publikation
Allianzlizenz
Corresponding Authors der Uni Konstanz vorhanden
Internationale Co-Autor:innen
Universitätsbibliographie
Ja
Begutachtet
Diese Publikation teilen