On Combining Partial Order Reduction with Fairness Assumptions View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2007

AUTHORS

Luboš Brim , Ivana Černá , Pavel Moravec , Jiří Šimša

ABSTRACT

We present a new approach to combine partial order reduction with fairness in the context of LTL model checking. For this purpose, we define several behaviour classes representing typical fairness assumptions and examine how various reduction techniques affect these classes. In particular, we consider both reductions preserving all behaviours and reductions preserving only some behaviours. More... »

PAGES

84-99

Book

TITLE

Formal Methods: Applications and Technology

ISBN

978-3-540-70951-0
978-3-540-70952-7

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-540-70952-7_6

DOI

http://dx.doi.org/10.1007/978-3-540-70952-7_6

DIMENSIONS

https://app.dimensions.ai/details/publication/pub.1048459118


Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
Incoming Citations Browse incoming citations for this publication using opencitations.net

JSON-LD is the canonical representation for SciGraph data.

TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

[
  {
    "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
    "about": [
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/17", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Psychology and Cognitive Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/1701", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Psychology", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Department of Computer Science, Faculty of Informatics, Masaryk University, Czech Republic", 
          "id": "http://www.grid.ac/institutes/grid.10267.32", 
          "name": [
            "Department of Computer Science, Faculty of Informatics, Masaryk University, Czech Republic"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Brim", 
        "givenName": "Lubo\u0161", 
        "id": "sg:person.0645117057.83", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0645117057.83"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Computer Science, Faculty of Informatics, Masaryk University, Czech Republic", 
          "id": "http://www.grid.ac/institutes/grid.10267.32", 
          "name": [
            "Department of Computer Science, Faculty of Informatics, Masaryk University, Czech Republic"
          ], 
          "type": "Organization"
        }, 
        "familyName": "\u010cern\u00e1", 
        "givenName": "Ivana", 
        "id": "sg:person.016355636647.31", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016355636647.31"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Computer Science, Faculty of Informatics, Masaryk University, Czech Republic", 
          "id": "http://www.grid.ac/institutes/grid.10267.32", 
          "name": [
            "Department of Computer Science, Faculty of Informatics, Masaryk University, Czech Republic"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Moravec", 
        "givenName": "Pavel", 
        "id": "sg:person.07732703560.20", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07732703560.20"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Computer Science, Faculty of Informatics, Masaryk University, Czech Republic", 
          "id": "http://www.grid.ac/institutes/grid.10267.32", 
          "name": [
            "Department of Computer Science, Faculty of Informatics, Masaryk University, Czech Republic"
          ], 
          "type": "Organization"
        }, 
        "familyName": "\u0160im\u0161a", 
        "givenName": "Ji\u0159\u00ed", 
        "id": "sg:person.012123225160.07", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012123225160.07"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2007", 
    "datePublishedReg": "2007-01-01", 
    "description": "We present a new approach to combine partial order reduction with fairness in the context of LTL model checking. For this purpose, we define several behaviour classes representing typical fairness assumptions and examine how various reduction techniques affect these classes. In particular, we consider both reductions preserving all behaviours and reductions preserving only some behaviours.", 
    "editor": [
      {
        "familyName": "Brim", 
        "givenName": "Lubo\u0161", 
        "type": "Person"
      }, 
      {
        "familyName": "Haverkort", 
        "givenName": "Boudewijn", 
        "type": "Person"
      }, 
      {
        "familyName": "Leucker", 
        "givenName": "Martin", 
        "type": "Person"
      }, 
      {
        "familyName": "van de Pol", 
        "givenName": "Jaco", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-540-70952-7_6", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-70951-0", 
        "978-3-540-70952-7"
      ], 
      "name": "Formal Methods: Applications and Technology", 
      "type": "Book"
    }, 
    "keywords": [
      "order reduction", 
      "partial order reduction", 
      "fairness assumptions", 
      "reduction techniques", 
      "new approach", 
      "model checking", 
      "class", 
      "assumption", 
      "behavior", 
      "approach", 
      "fairness", 
      "LTL model checking", 
      "technique", 
      "reduction", 
      "checking", 
      "context", 
      "purpose", 
      "behavior classes"
    ], 
    "name": "On Combining Partial Order Reduction with Fairness Assumptions", 
    "pagination": "84-99", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1048459118"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-540-70952-7_6"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-540-70952-7_6", 
      "https://app.dimensions.ai/details/publication/pub.1048459118"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-20T07:44", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220519/entities/gbq_results/chapter/chapter_246.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-540-70952-7_6"
  }
]
 

Download the RDF metadata as:  json-ld nt turtle xml License info

HOW TO GET THIS DATA PROGRAMMATICALLY:

JSON-LD is a popular format for linked data which is fully compatible with JSON.

curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-70952-7_6'

N-Triples is a line-based linked data format ideal for batch operations.

curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-70952-7_6'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-70952-7_6'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-70952-7_6'


 

This table displays all metadata directly associated to this object as RDF triples.

114 TRIPLES      23 PREDICATES      44 URIs      37 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-540-70952-7_6 schema:about anzsrc-for:17
2 anzsrc-for:1701
3 schema:author Nb6b89e21660a4b5aa708664b9d3766ed
4 schema:datePublished 2007
5 schema:datePublishedReg 2007-01-01
6 schema:description We present a new approach to combine partial order reduction with fairness in the context of LTL model checking. For this purpose, we define several behaviour classes representing typical fairness assumptions and examine how various reduction techniques affect these classes. In particular, we consider both reductions preserving all behaviours and reductions preserving only some behaviours.
7 schema:editor N2e72c3163f8a43f4a45c601654222f67
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf N85c9a0c028c544f0bd64b2f22362fe8d
12 schema:keywords LTL model checking
13 approach
14 assumption
15 behavior
16 behavior classes
17 checking
18 class
19 context
20 fairness
21 fairness assumptions
22 model checking
23 new approach
24 order reduction
25 partial order reduction
26 purpose
27 reduction
28 reduction techniques
29 technique
30 schema:name On Combining Partial Order Reduction with Fairness Assumptions
31 schema:pagination 84-99
32 schema:productId N8dfa1c68272c44d18c5bdc479b3c9fb0
33 Nb750288a71d44c378b4fcdb59fd0b4b2
34 schema:publisher N5c6c89a1ca0f44a191a62c601c6810aa
35 schema:sameAs https://app.dimensions.ai/details/publication/pub.1048459118
36 https://doi.org/10.1007/978-3-540-70952-7_6
37 schema:sdDatePublished 2022-05-20T07:44
38 schema:sdLicense https://scigraph.springernature.com/explorer/license/
39 schema:sdPublisher N79603d77e3444a29bdabda0e645262da
40 schema:url https://doi.org/10.1007/978-3-540-70952-7_6
41 sgo:license sg:explorer/license/
42 sgo:sdDataset chapters
43 rdf:type schema:Chapter
44 N126f6b47e77042b186629b62b44fa1fa schema:familyName Haverkort
45 schema:givenName Boudewijn
46 rdf:type schema:Person
47 N1d18797e2a3f4a45a2576b9cd12f940e rdf:first N48fbb39f59074873ba283245a86feb5a
48 rdf:rest rdf:nil
49 N2b1ad3d541f84960875d43ec43293cd8 schema:familyName Brim
50 schema:givenName Luboš
51 rdf:type schema:Person
52 N2e72c3163f8a43f4a45c601654222f67 rdf:first N2b1ad3d541f84960875d43ec43293cd8
53 rdf:rest N4a87253c11c7497eaf9f877362c985aa
54 N48fbb39f59074873ba283245a86feb5a schema:familyName van de Pol
55 schema:givenName Jaco
56 rdf:type schema:Person
57 N4a87253c11c7497eaf9f877362c985aa rdf:first N126f6b47e77042b186629b62b44fa1fa
58 rdf:rest Ne4e707a9babe424386ee58f3afd1c7d6
59 N5c6c89a1ca0f44a191a62c601c6810aa schema:name Springer Nature
60 rdf:type schema:Organisation
61 N79603d77e3444a29bdabda0e645262da schema:name Springer Nature - SN SciGraph project
62 rdf:type schema:Organization
63 N85c9a0c028c544f0bd64b2f22362fe8d schema:isbn 978-3-540-70951-0
64 978-3-540-70952-7
65 schema:name Formal Methods: Applications and Technology
66 rdf:type schema:Book
67 N8dfa1c68272c44d18c5bdc479b3c9fb0 schema:name dimensions_id
68 schema:value pub.1048459118
69 rdf:type schema:PropertyValue
70 Na81a174aa14740deae6db2c7ea05eb27 rdf:first sg:person.016355636647.31
71 rdf:rest Nce09ca2e35a8440887fb01cfa4e53d34
72 Nb6b89e21660a4b5aa708664b9d3766ed rdf:first sg:person.0645117057.83
73 rdf:rest Na81a174aa14740deae6db2c7ea05eb27
74 Nb750288a71d44c378b4fcdb59fd0b4b2 schema:name doi
75 schema:value 10.1007/978-3-540-70952-7_6
76 rdf:type schema:PropertyValue
77 Nce09ca2e35a8440887fb01cfa4e53d34 rdf:first sg:person.07732703560.20
78 rdf:rest Nfd8273c31cc64dd79a1c45080170a681
79 Ne4e707a9babe424386ee58f3afd1c7d6 rdf:first Neb56cf9c4f814b59b9277d19e28d8650
80 rdf:rest N1d18797e2a3f4a45a2576b9cd12f940e
81 Neb56cf9c4f814b59b9277d19e28d8650 schema:familyName Leucker
82 schema:givenName Martin
83 rdf:type schema:Person
84 Nfd8273c31cc64dd79a1c45080170a681 rdf:first sg:person.012123225160.07
85 rdf:rest rdf:nil
86 anzsrc-for:17 schema:inDefinedTermSet anzsrc-for:
87 schema:name Psychology and Cognitive Sciences
88 rdf:type schema:DefinedTerm
89 anzsrc-for:1701 schema:inDefinedTermSet anzsrc-for:
90 schema:name Psychology
91 rdf:type schema:DefinedTerm
92 sg:person.012123225160.07 schema:affiliation grid-institutes:grid.10267.32
93 schema:familyName Šimša
94 schema:givenName Jiří
95 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012123225160.07
96 rdf:type schema:Person
97 sg:person.016355636647.31 schema:affiliation grid-institutes:grid.10267.32
98 schema:familyName Černá
99 schema:givenName Ivana
100 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016355636647.31
101 rdf:type schema:Person
102 sg:person.0645117057.83 schema:affiliation grid-institutes:grid.10267.32
103 schema:familyName Brim
104 schema:givenName Luboš
105 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0645117057.83
106 rdf:type schema:Person
107 sg:person.07732703560.20 schema:affiliation grid-institutes:grid.10267.32
108 schema:familyName Moravec
109 schema:givenName Pavel
110 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07732703560.20
111 rdf:type schema:Person
112 grid-institutes:grid.10267.32 schema:alternateName Department of Computer Science, Faculty of Informatics, Masaryk University, Czech Republic
113 schema:name Department of Computer Science, Faculty of Informatics, Masaryk University, Czech Republic
114 rdf:type schema:Organization
 




Preview window. Press ESC to close (or click here)


...