About: Structural Invariants for the Verification of Systems with Parameterized Architectures

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Structural Invariants for the Verification of Systems with Parameterized Architectures Goto Sponge NotDistinct Permalink

An Entity of Type : schema:ScholarlyArticle, within Data Space : wasabi.inria.fr associated with source document(s)

Attributes	Values
type	Academic Article research paper schema:ScholarlyArticle
isDefinedBy	Covid-on-the-Web dataset
has title	Structural Invariants for the Verification of Systems with Parameterized Architectures
Creator	Esparza, Javier Bozga, Marius Iosif, Radu Sifakis, Joseph Welzel, Christoph
Source	PMC
abstract	We consider parameterized concurrent systems consisting of a finite but unknown number of components, obtained by replicating a given set of finite state automata.
has issue date	2020-03-13(xsd:dateTime)
bibo:doi	10.1007/978-3-030-45190-5_13
has license	cc-by
sha1sum (hex)	94af93c09e11e041a9c18354beb282dca8006c62
schema:url	https://doi.org/10.1007/978-3-030-45190-5_13
resource representing a document's title	Structural Invariants for the Verification of Systems with Parameterized Architectures
has PubMed Central identifier	PMC7439742
schema:publication	Tools and Algorithms for the Construction and Analysis of Systems
resource representing a document's body	covid:94af93c09e11e041a9c18354beb282dca8006c62#body_text
is schema:about of	named entity 'Components' named entity 'embedded' named entity 'introduce' named entity 'concurrent systems' named entity 'logic' named entity 'logic' named entity 'monadic second order logic' named entity 'modulo' named entity 'transition relation' named entity 'automata' named entity 'deadlock' named entity 'European Union' named entity 'Petri Net' named entity 'dining philosophers' named entity 'Petri Nets' named entity 'propositional formula' named entity 'model checking' named entity 'countably infinite set' named entity 'Computing' named entity 'syntax' named entity 'deadlock' named entity 'universal quantification' named entity 'token passing' named entity 'countably infinite set' named entity 'Petri Net' named entity 'Mutual Exclusion' named entity 'safety properties' named entity 'monadic second order logic' named entity 'model checking' named entity 'eave' named entity 'model checking' named entity 'deadlock' named entity 'IMTs' named entity 'critical section' named entity 'transition systems' named entity 'finite-state' named entity 'semantics' named entity 'semantics' named entity 'unsatisfiable' named entity 'verification conditions' named entity 'Petri Nets' named entity 'monadic' named entity 'constant symbol' named entity 'cache coherence' named entity 'decidable' named entity 'binary decision diagram' named entity 'arity' named entity 'free variable' named entity 'successor function' named entity 'decidable' named entity 'MOESI' named entity 'dining philosophers' named entity 'topology' named entity 'worst-case complexity' named entity 'decidability' named entity 'semantics' named entity 'algorithm' named entity 'Petri Net' named entity 'dining philosophers' named entity 'state-space' named entity 'Petri Nets' named entity 'monadic second order' named entity 'fixed point' named entity 'semantics' named entity 'atomic propositions' named entity 'decidable' named entity 'Cache Coherence' named entity 'Firefly' named entity 'ostrich' named entity 'satisfaction relation' named entity 'automata' named entity 'mutual exclusion' named entity 'dining philosophers' named entity 'disjunction' named entity 'Petri Nets' named entity 'predicates' named entity 'second-order' named entity 'syntactic' named entity 'initial condition'

Faceted Search & Find service v1.13.91 as of Mar 24 2020

Alternative Linked Data Documents: Sponger | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of Jul 10 2020, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (94 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software