A hierarchy of failures-based models: theory and application

A hierarchy of failures-based models: theory and application

Show other versions (1)

<p>Consistency between a process and its specification expressed in CSP is typically presented as a refinement check. Within the traces model consistency is measured by examining only the traces of the systems, whilst in the finer stable failures model the possibility of subsequently refusing...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Bolton, C, Lowe, G
Fformat:	Journal article
Iaith:	English
Cyhoeddwyd:	Elsevier 2005
Pynciau:	Theory and automated verification Communication Sequential Processing (CSP) Computer science (mathematics)

Eitemau Tebyg

Model Checking Systems with Replicated Components using CSP
gan: Mazur, T
Cyhoeddwyd: (2011)

Applications of process-oriented design
gan: Whitehead, J, et al.
Cyhoeddwyd: (2014)

The formal semantics of a domain-specific modelling language
gan: Grealish, C
Cyhoeddwyd: (2010)

A mathematical theory of communicating processes
gan: Roscoe, A, et al.
Cyhoeddwyd: (1982)

Techniques and tools for the verification of concurrent systems
gan: Palikareva, H
Cyhoeddwyd: (2012)

Semantic models for information flow
gan: Lowe, G
Cyhoeddwyd: (2004)

Confluence thanks to extensional determinism
gan: Roscoe, A
Cyhoeddwyd: (2006)

Using data-independence in the analysis of intrusion detection systems
gan: Rohrmair, G, et al.
Cyhoeddwyd: (2005)

The timed failures - stability model for CSP
gan: Reed, G, et al.
Cyhoeddwyd: (1999)

Formalisations and applications of business process modelling notation
gan: Wong, P
Cyhoeddwyd: (2011)

An interpolating decision procedure for transitive relations with uninterpreted functions
gan: Kroening, D, et al.
Cyhoeddwyd: (2009)

Repairing strings and trees
gan: Riveros Jaeger, C
Cyhoeddwyd: (2013)

Abstract satisfaction
gan: Haller, L
Cyhoeddwyd: (2013)

EL-ifying ontologies
gan: Carral, D, et al.
Cyhoeddwyd: (2014)

Pushing the boundaries of tractable ontology reasoning
gan: Carral, D, et al.
Cyhoeddwyd: (2014)

Synthesis and alternating automata over real time
gan: Jenkins, M, et al.
Cyhoeddwyd: (2012)

Static analyses over weak memory
gan: Nimal, V, et al.
Cyhoeddwyd: (2014)

Verification of asynchronous concurrency and the shaped stack constraint
gan: Kochems, J
Cyhoeddwyd: (2014)

Abstraction discovery and refinement for model checking by symbolic trajectory evaluation
gan: Adams, S
Cyhoeddwyd: (2014)

Program analysis with interpolants
gan: Weissenbacher, G, et al.
Cyhoeddwyd: (2010)

Higher-order semantics for quantum programming languages with classical control
gan: Atzemoglou, GP
Cyhoeddwyd: (2012)

Formal methods for the analysis of wireless network protocols
gan: Fruth, M
Cyhoeddwyd: (2011)

Saturation methods for global model-checking pushdown systems
gan: Hague, M
Cyhoeddwyd: (2009)

CSP2Turtle: Verified Turtle Robot Plans
gan: Dara MacConville, et al.
Cyhoeddwyd: (2023-04-01)

Incremental modelling for verified communication architectures
gan: Boehm, P, et al.
Cyhoeddwyd: (2011)

Program synthesis from domain specific object models
gan: Faitelson, D
Cyhoeddwyd: (2008)

Intersection types and higer-order model checking
gan: Ramsay, S, et al.
Cyhoeddwyd: (2014)

Topics in monitoring and planning for embedded real-time systems
gan: Ho, H
Cyhoeddwyd: (2015)

An algebraic theory of componentised interaction
gan: Chilton, C
Cyhoeddwyd: (2013)

Pictures of processes
gan: Kissinger, A
Cyhoeddwyd: (2011)

Quantitative verification of real-time properties with application to medical devices
gan: Marco Diciolla, M, et al.
Cyhoeddwyd: (2014)

Forward looking logics and automata
gan: Ley, C
Cyhoeddwyd: (2011)

Probabilistic guarded commands mechanized in HOL
gan: Hurd, J, et al.
Cyhoeddwyd: (2005)

Monotonicity in shared-memory program verification
gan: Kaiser, A
Cyhoeddwyd: (2013)

Automated quantitative software verification
gan: Kattenbelt, M
Cyhoeddwyd: (2010)

Precise verification of C programs
gan: Lewis, M
Cyhoeddwyd: (2014)

On learning assumptions for compositional verification of probabilistic systems
gan: Feng, L
Cyhoeddwyd: (2014)

Reasoning with !-graphs
gan: Merry, A
Cyhoeddwyd: (2013)

A hierarchy of failures−based models: theory and application
gan: Bolton, C, et al.
Cyhoeddwyd: (2005)

THE THEORY OF BUSINESS PROCESSES: FORMAL MODELS AND METHODS
gan: Georgiy N. Kalyanov
Cyhoeddwyd: (2016-08-01)