CIRC : A Behavioral Verification Tool Based on Circular Coinduction

Kurzanzeige
dc.contributor.authorLucanu, Dorel
dc.contributor.authorGoriac, Eugen-Ioan
dc.contributor.authorCaltais, Georgiana
dc.contributor.authorRoşu, Grigore
dc.date.accessioned2019-06-18T09:38:12Z
dc.date.available2019-06-18T09:38:12Z
dc.date.issued2009eng
dc.description.abstractCIRC is a tool for automated inductive and coinductive theorem proving. It includes an engine based on circular coinduction, which makes CIRC particularly well-suited for proving behavioral properties of infinite data-structures. This paper presents the current status of the coinductive features of the CIRC prover, focusing on new features added over the last two years. The presentation is by examples, showing how CIRC can automatically prove behavioral properties.eng
dc.description.versionpublishedeng
dc.identifier.doi10.1007/978-3-642-03741-2_30eng
dc.identifier.ppn1667942581
dc.identifier.urihttps://kops.uni-konstanz.de/handle/123456789/46026
dc.language.isoengeng
dc.rightsterms-of-use
dc.rights.urihttps://rightsstatements.org/page/InC/1.0/
dc.subject.ddc004eng
dc.titleCIRC : A Behavioral Verification Tool Based on Circular Coinductioneng
dc.typeINPROCEEDINGSeng
dspace.entity.typePublication
kops.citation.bibtex
@inproceedings{Lucanu2009Behav-46026,
  year={2009},
  doi={10.1007/978-3-642-03741-2_30},
  title={CIRC : A Behavioral Verification Tool Based on Circular Coinduction},
  number={5728},
  isbn={978-3-642-03740-5},
  issn={0302-9743},
  publisher={Springer},
  address={Berlin},
  series={Lecture Notes in Computer Science},
  booktitle={Algebra and Coalgebra in Computer Science : Third International Conference, CALCO 2009, Proceedings},
  pages={433--442},
  editor={Kurz, Alexander and Lenisa, Marina and Tarlecki, Andrzej},
  author={Lucanu, Dorel and Goriac, Eugen-Ioan and Caltais, Georgiana and Roşu, Grigore}
}
kops.citation.iso690LUCANU, Dorel, Eugen-Ioan GORIAC, Georgiana CALTAIS, Grigore ROŞU, 2009. CIRC : A Behavioral Verification Tool Based on Circular Coinduction. Third International Conference on Algebra and Coalgebra in Computer Science : CALCO 2009. Udine, Italy, 7. Sept. 2009 - 10. Sept. 2009. In: KURZ, Alexander, ed., Marina LENISA, ed., Andrzej TARLECKI, ed.. Algebra and Coalgebra in Computer Science : Third International Conference, CALCO 2009, Proceedings. Berlin: Springer, 2009, pp. 433-442. Lecture Notes in Computer Science. 5728. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-642-03740-5. Available under: doi: 10.1007/978-3-642-03741-2_30deu
kops.citation.iso690LUCANU, Dorel, Eugen-Ioan GORIAC, Georgiana CALTAIS, Grigore ROŞU, 2009. CIRC : A Behavioral Verification Tool Based on Circular Coinduction. Third International Conference on Algebra and Coalgebra in Computer Science : CALCO 2009. Udine, Italy, Sep 7, 2009 - Sep 10, 2009. In: KURZ, Alexander, ed., Marina LENISA, ed., Andrzej TARLECKI, ed.. Algebra and Coalgebra in Computer Science : Third International Conference, CALCO 2009, Proceedings. Berlin: Springer, 2009, pp. 433-442. Lecture Notes in Computer Science. 5728. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-642-03740-5. Available under: doi: 10.1007/978-3-642-03741-2_30eng
kops.citation.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/46026">
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2019-06-18T09:38:12Z</dc:date>
    <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/46026"/>
    <dc:contributor>Goriac, Eugen-Ioan</dc:contributor>
    <dc:contributor>Caltais, Georgiana</dc:contributor>
    <dc:creator>Goriac, Eugen-Ioan</dc:creator>
    <dcterms:title>CIRC : A Behavioral Verification Tool Based on Circular Coinduction</dcterms:title>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2019-06-18T09:38:12Z</dcterms:available>
    <dcterms:issued>2009</dcterms:issued>
    <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/46026/1/Lucanu_2-1iig5iec0udro7.pdf"/>
    <dc:contributor>Lucanu, Dorel</dc:contributor>
    <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
    <dc:creator>Roşu, Grigore</dc:creator>
    <dcterms:abstract xml:lang="eng">CIRC is a tool for automated inductive and coinductive theorem proving. It includes an engine based on circular coinduction, which makes CIRC particularly well-suited for proving behavioral properties of infinite data-structures. This paper presents the current status of the coinductive features of the CIRC prover, focusing on new features added over the last two years. The presentation is by examples, showing how CIRC can automatically prove behavioral properties.</dcterms:abstract>
    <dc:rights>terms-of-use</dc:rights>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dc:creator>Lucanu, Dorel</dc:creator>
    <dc:creator>Caltais, Georgiana</dc:creator>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dc:contributor>Roşu, Grigore</dc:contributor>
    <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/46026/1/Lucanu_2-1iig5iec0udro7.pdf"/>
    <dc:language>eng</dc:language>
  </rdf:Description>
</rdf:RDF>
kops.conferencefieldThird International Conference on Algebra and Coalgebra in Computer Science : CALCO 2009, 7. Sept. 2009 - 10. Sept. 2009, Udine, Italydeu
kops.date.conferenceEnd2009-09-10eng
kops.date.conferenceStart2009-09-07eng
kops.description.openAccessopenaccessgreen
kops.flag.knbibliographyfalse
kops.identifier.nbnurn:nbn:de:bsz:352-2-1iig5iec0udro7
kops.location.conferenceUdine, Italyeng
kops.sourcefieldKURZ, Alexander, ed., Marina LENISA, ed., Andrzej TARLECKI, ed.. <i>Algebra and Coalgebra in Computer Science : Third International Conference, CALCO 2009, Proceedings</i>. Berlin: Springer, 2009, pp. 433-442. Lecture Notes in Computer Science. 5728. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-642-03740-5. Available under: doi: 10.1007/978-3-642-03741-2_30deu
kops.sourcefield.plainKURZ, Alexander, ed., Marina LENISA, ed., Andrzej TARLECKI, ed.. Algebra and Coalgebra in Computer Science : Third International Conference, CALCO 2009, Proceedings. Berlin: Springer, 2009, pp. 433-442. Lecture Notes in Computer Science. 5728. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-642-03740-5. Available under: doi: 10.1007/978-3-642-03741-2_30deu
kops.sourcefield.plainKURZ, Alexander, ed., Marina LENISA, ed., Andrzej TARLECKI, ed.. Algebra and Coalgebra in Computer Science : Third International Conference, CALCO 2009, Proceedings. Berlin: Springer, 2009, pp. 433-442. Lecture Notes in Computer Science. 5728. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-642-03740-5. Available under: doi: 10.1007/978-3-642-03741-2_30eng
kops.title.conferenceThird International Conference on Algebra and Coalgebra in Computer Science : CALCO 2009eng
relation.isAuthorOfPublication23c8465d-2f7a-4b05-a1af-35aa34f5fd85
relation.isAuthorOfPublication.latestForDiscovery23c8465d-2f7a-4b05-a1af-35aa34f5fd85
source.bibliographicInfo.fromPage433eng
source.bibliographicInfo.seriesNumber5728eng
source.bibliographicInfo.toPage442eng
source.contributor.editorKurz, Alexander
source.contributor.editorLenisa, Marina
source.contributor.editorTarlecki, Andrzej
source.identifier.eissn1611-3349eng
source.identifier.isbn978-3-642-03740-5eng
source.identifier.issn0302-9743eng
source.publisherSpringereng
source.publisher.locationBerlineng
source.relation.ispartofseriesLecture Notes in Computer Scienceeng
source.titleAlgebra and Coalgebra in Computer Science : Third International Conference, CALCO 2009, Proceedingseng

Dateien

Originalbündel

Gerade angezeigt 1 - 1 von 1
Vorschaubild nicht verfügbar
Name:
Lucanu_2-1iig5iec0udro7.pdf
Größe:
141.94 KB
Format:
Adobe Portable Document Format
Beschreibung:
Lucanu_2-1iig5iec0udro7.pdf
Lucanu_2-1iig5iec0udro7.pdfGröße: 141.94 KBDownloads: 501

Sammlungen

Informatik und Informationswissenschaft: Publikationen