Model-Checking Large Finite-State Systems and Beyond View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2007

AUTHORS

Luboš Brim , Mojmír Křetínský

ABSTRACT

With the increase in the complexity of computer systems, it becomes even more important to develop formal methods for ensuring their quality. Early detection of errors requires application of advanced analysis, verification and validation techniques for modelling resources, temporal properties, datatype invariants, and security properties. Various techniques for automated and semi-automated analysis and verification of computer systems have been proposed. More... »

PAGES

9-28

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-540-69507-3_2

DOI

http://dx.doi.org/10.1007/978-3-540-69507-3_2

DIMENSIONS

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


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/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0801", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Artificial Intelligence and Image Processing", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0802", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computation Theory and Mathematics", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0803", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computer Software", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Faculty of Informatics, Masaryk University, Brno, Czech Republic", 
          "id": "http://www.grid.ac/institutes/grid.10267.32", 
          "name": [
            "Faculty of Informatics, Masaryk University, Brno, 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": "Faculty of Informatics, Masaryk University, Brno, Czech Republic", 
          "id": "http://www.grid.ac/institutes/grid.10267.32", 
          "name": [
            "Faculty of Informatics, Masaryk University, Brno, Czech Republic"
          ], 
          "type": "Organization"
        }, 
        "familyName": "K\u0159et\u00ednsk\u00fd", 
        "givenName": "Mojm\u00edr", 
        "id": "sg:person.015043453511.25", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015043453511.25"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2007", 
    "datePublishedReg": "2007-01-01", 
    "description": "With the increase in the complexity of computer systems, it becomes even more important to develop formal methods for ensuring their quality. Early detection of errors requires application of advanced analysis, verification and validation techniques for modelling resources, temporal properties, datatype invariants, and security properties. Various techniques for automated and semi-automated analysis and verification of computer systems have been proposed.", 
    "editor": [
      {
        "familyName": "van Leeuwen", 
        "givenName": "Jan", 
        "type": "Person"
      }, 
      {
        "familyName": "Italiano", 
        "givenName": "Giuseppe F.", 
        "type": "Person"
      }, 
      {
        "familyName": "van der Hoek", 
        "givenName": "Wiebe", 
        "type": "Person"
      }, 
      {
        "familyName": "Meinel", 
        "givenName": "Christoph", 
        "type": "Person"
      }, 
      {
        "familyName": "Sack", 
        "givenName": "Harald", 
        "type": "Person"
      }, 
      {
        "familyName": "Pl\u00e1\u0161il", 
        "givenName": "Franti\u0161ek", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-540-69507-3_2", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-69506-6", 
        "978-3-540-69507-3"
      ], 
      "name": "SOFSEM 2007: Theory and Practice of Computer Science", 
      "type": "Book"
    }, 
    "keywords": [
      "computer systems", 
      "large finite-state systems", 
      "finite-state systems", 
      "security properties", 
      "formal methods", 
      "validation techniques", 
      "temporal properties", 
      "modelling resources", 
      "advanced analysis", 
      "verification", 
      "system", 
      "complexity", 
      "technique", 
      "resources", 
      "applications", 
      "detection", 
      "error", 
      "early detection", 
      "quality", 
      "invariants", 
      "method", 
      "analysis", 
      "properties", 
      "increase"
    ], 
    "name": "Model-Checking Large Finite-State Systems and Beyond", 
    "pagination": "9-28", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1017402122"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-540-69507-3_2"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-540-69507-3_2", 
      "https://app.dimensions.ai/details/publication/pub.1017402122"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-10T10:46", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220509/entities/gbq_results/chapter/chapter_329.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-540-69507-3_2"
  }
]
 

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-69507-3_2'

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-69507-3_2'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-69507-3_2'

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-69507-3_2'


 

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

124 TRIPLES      23 PREDICATES      52 URIs      43 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-540-69507-3_2 schema:about anzsrc-for:08
2 anzsrc-for:0801
3 anzsrc-for:0802
4 anzsrc-for:0803
5 schema:author N52b6ffddcb3943209f8fa751757cdbea
6 schema:datePublished 2007
7 schema:datePublishedReg 2007-01-01
8 schema:description With the increase in the complexity of computer systems, it becomes even more important to develop formal methods for ensuring their quality. Early detection of errors requires application of advanced analysis, verification and validation techniques for modelling resources, temporal properties, datatype invariants, and security properties. Various techniques for automated and semi-automated analysis and verification of computer systems have been proposed.
9 schema:editor N7d1e643161554fc58df59fdaeec1e1b4
10 schema:genre chapter
11 schema:inLanguage en
12 schema:isAccessibleForFree false
13 schema:isPartOf N6d52790c27344ba280af0a10bd62ab84
14 schema:keywords advanced analysis
15 analysis
16 applications
17 complexity
18 computer systems
19 detection
20 early detection
21 error
22 finite-state systems
23 formal methods
24 increase
25 invariants
26 large finite-state systems
27 method
28 modelling resources
29 properties
30 quality
31 resources
32 security properties
33 system
34 technique
35 temporal properties
36 validation techniques
37 verification
38 schema:name Model-Checking Large Finite-State Systems and Beyond
39 schema:pagination 9-28
40 schema:productId N5bb3cd22a7aa4ee88ae8a31fc229d9d0
41 Ne320fe2e1fe242a88d1e0e2fe0e6ed26
42 schema:publisher N8994ba5a77fc4cbdb9ed805eac094a5c
43 schema:sameAs https://app.dimensions.ai/details/publication/pub.1017402122
44 https://doi.org/10.1007/978-3-540-69507-3_2
45 schema:sdDatePublished 2022-05-10T10:46
46 schema:sdLicense https://scigraph.springernature.com/explorer/license/
47 schema:sdPublisher N5dbc2bd5d5224a46b9cf1cea12d89b49
48 schema:url https://doi.org/10.1007/978-3-540-69507-3_2
49 sgo:license sg:explorer/license/
50 sgo:sdDataset chapters
51 rdf:type schema:Chapter
52 N0bd51804c66949a9a95e43fda3179914 rdf:first N91d665ecb56c4dbbad303902f3e41ede
53 rdf:rest N69e317f96eae4fff9dc010a37aea8fbf
54 N2c0e108f5c9b41d8a8a216a63c5ab7ef rdf:first sg:person.015043453511.25
55 rdf:rest rdf:nil
56 N4d447bdfa148449bb7db6259f0e16a82 rdf:first Na053e79c0ad747498e801c3fd71d6934
57 rdf:rest N0bd51804c66949a9a95e43fda3179914
58 N4fd417fa9f5f403ead7dddd09686657f schema:familyName Plášil
59 schema:givenName František
60 rdf:type schema:Person
61 N52b6ffddcb3943209f8fa751757cdbea rdf:first sg:person.0645117057.83
62 rdf:rest N2c0e108f5c9b41d8a8a216a63c5ab7ef
63 N5bb3cd22a7aa4ee88ae8a31fc229d9d0 schema:name dimensions_id
64 schema:value pub.1017402122
65 rdf:type schema:PropertyValue
66 N5dbc2bd5d5224a46b9cf1cea12d89b49 schema:name Springer Nature - SN SciGraph project
67 rdf:type schema:Organization
68 N69e317f96eae4fff9dc010a37aea8fbf rdf:first Nd87ca1813a9b432981c74d64e5702736
69 rdf:rest Ncb3c14a707d245a1a3ef2503c871ccde
70 N6d52790c27344ba280af0a10bd62ab84 schema:isbn 978-3-540-69506-6
71 978-3-540-69507-3
72 schema:name SOFSEM 2007: Theory and Practice of Computer Science
73 rdf:type schema:Book
74 N7ab0927ef7e04bae99ff156f1b9bd731 schema:familyName Sack
75 schema:givenName Harald
76 rdf:type schema:Person
77 N7d1e643161554fc58df59fdaeec1e1b4 rdf:first Nf527a200e1e14c90aca00088b9aedb33
78 rdf:rest N4d447bdfa148449bb7db6259f0e16a82
79 N8994ba5a77fc4cbdb9ed805eac094a5c schema:name Springer Nature
80 rdf:type schema:Organisation
81 N91d665ecb56c4dbbad303902f3e41ede schema:familyName van der Hoek
82 schema:givenName Wiebe
83 rdf:type schema:Person
84 Na053e79c0ad747498e801c3fd71d6934 schema:familyName Italiano
85 schema:givenName Giuseppe F.
86 rdf:type schema:Person
87 Nb2d4318788004d199972f1d7dca77596 rdf:first N4fd417fa9f5f403ead7dddd09686657f
88 rdf:rest rdf:nil
89 Ncb3c14a707d245a1a3ef2503c871ccde rdf:first N7ab0927ef7e04bae99ff156f1b9bd731
90 rdf:rest Nb2d4318788004d199972f1d7dca77596
91 Nd87ca1813a9b432981c74d64e5702736 schema:familyName Meinel
92 schema:givenName Christoph
93 rdf:type schema:Person
94 Ne320fe2e1fe242a88d1e0e2fe0e6ed26 schema:name doi
95 schema:value 10.1007/978-3-540-69507-3_2
96 rdf:type schema:PropertyValue
97 Nf527a200e1e14c90aca00088b9aedb33 schema:familyName van Leeuwen
98 schema:givenName Jan
99 rdf:type schema:Person
100 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
101 schema:name Information and Computing Sciences
102 rdf:type schema:DefinedTerm
103 anzsrc-for:0801 schema:inDefinedTermSet anzsrc-for:
104 schema:name Artificial Intelligence and Image Processing
105 rdf:type schema:DefinedTerm
106 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
107 schema:name Computation Theory and Mathematics
108 rdf:type schema:DefinedTerm
109 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
110 schema:name Computer Software
111 rdf:type schema:DefinedTerm
112 sg:person.015043453511.25 schema:affiliation grid-institutes:grid.10267.32
113 schema:familyName Křetínský
114 schema:givenName Mojmír
115 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015043453511.25
116 rdf:type schema:Person
117 sg:person.0645117057.83 schema:affiliation grid-institutes:grid.10267.32
118 schema:familyName Brim
119 schema:givenName Luboš
120 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0645117057.83
121 rdf:type schema:Person
122 grid-institutes:grid.10267.32 schema:alternateName Faculty of Informatics, Masaryk University, Brno, Czech Republic
123 schema:name Faculty of Informatics, Masaryk University, Brno, Czech Republic
124 rdf:type schema:Organization
 




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


...