A hierarchy of failures-based models: theory and application

A hierarchy of failures-based models: theory and application

Hiển thị phiên bản (1) khác

<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...

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính:	Bolton, C, Lowe, G
Định dạng:	Journal article
Ngôn ngữ:	English
Được phát hành:	Elsevier 2005
Những chủ đề:	Theory and automated verification Communication Sequential Processing (CSP) Computer science (mathematics)

Những quyển sách tương tự

Model Checking Systems with Replicated Components using CSP
Bằng: Mazur, T
Được phát hành: (2011)

Applications of process-oriented design
Bằng: Whitehead, J, et al.
Được phát hành: (2014)

The formal semantics of a domain-specific modelling language
Bằng: Grealish, C
Được phát hành: (2010)

A mathematical theory of communicating processes
Bằng: Roscoe, A, et al.
Được phát hành: (1982)

Techniques and tools for the verification of concurrent systems
Bằng: Palikareva, H
Được phát hành: (2012)

Semantic models for information flow
Bằng: Lowe, G
Được phát hành: (2004)

Confluence thanks to extensional determinism
Bằng: Roscoe, A
Được phát hành: (2006)

Using data-independence in the analysis of intrusion detection systems
Bằng: Rohrmair, G, et al.
Được phát hành: (2005)

The timed failures - stability model for CSP
Bằng: Reed, G, et al.
Được phát hành: (1999)

Formalisations and applications of business process modelling notation
Bằng: Wong, P
Được phát hành: (2011)

An interpolating decision procedure for transitive relations with uninterpreted functions
Bằng: Kroening, D, et al.
Được phát hành: (2009)

Repairing strings and trees
Bằng: Riveros Jaeger, C
Được phát hành: (2013)

Abstract satisfaction
Bằng: Haller, L
Được phát hành: (2013)

EL-ifying ontologies
Bằng: Carral, D, et al.
Được phát hành: (2014)

Pushing the boundaries of tractable ontology reasoning
Bằng: Carral, D, et al.
Được phát hành: (2014)

Synthesis and alternating automata over real time
Bằng: Jenkins, M, et al.
Được phát hành: (2012)

Static analyses over weak memory
Bằng: Nimal, V, et al.
Được phát hành: (2014)

Verification of asynchronous concurrency and the shaped stack constraint
Bằng: Kochems, J
Được phát hành: (2014)

Abstraction discovery and refinement for model checking by symbolic trajectory evaluation
Bằng: Adams, S
Được phát hành: (2014)

Program analysis with interpolants
Bằng: Weissenbacher, G, et al.
Được phát hành: (2010)

Higher-order semantics for quantum programming languages with classical control
Bằng: Atzemoglou, GP
Được phát hành: (2012)

Formal methods for the analysis of wireless network protocols
Bằng: Fruth, M
Được phát hành: (2011)

Saturation methods for global model-checking pushdown systems
Bằng: Hague, M
Được phát hành: (2009)

CSP2Turtle: Verified Turtle Robot Plans
Bằng: Dara MacConville, et al.
Được phát hành: (2023-04-01)

Incremental modelling for verified communication architectures
Bằng: Boehm, P, et al.
Được phát hành: (2011)

Program synthesis from domain specific object models
Bằng: Faitelson, D
Được phát hành: (2008)

Intersection types and higer-order model checking
Bằng: Ramsay, S, et al.
Được phát hành: (2014)

Topics in monitoring and planning for embedded real-time systems
Bằng: Ho, H
Được phát hành: (2015)

An algebraic theory of componentised interaction
Bằng: Chilton, C
Được phát hành: (2013)

Pictures of processes
Bằng: Kissinger, A
Được phát hành: (2011)

Quantitative verification of real-time properties with application to medical devices
Bằng: Marco Diciolla, M, et al.
Được phát hành: (2014)

Forward looking logics and automata
Bằng: Ley, C
Được phát hành: (2011)

Probabilistic guarded commands mechanized in HOL
Bằng: Hurd, J, et al.
Được phát hành: (2005)

Monotonicity in shared-memory program verification
Bằng: Kaiser, A
Được phát hành: (2013)

Automated quantitative software verification
Bằng: Kattenbelt, M
Được phát hành: (2010)

Precise verification of C programs
Bằng: Lewis, M
Được phát hành: (2014)

On learning assumptions for compositional verification of probabilistic systems
Bằng: Feng, L
Được phát hành: (2014)

Reasoning with !-graphs
Bằng: Merry, A
Được phát hành: (2013)

A hierarchy of failures−based models: theory and application
Bằng: Bolton, C, et al.
Được phát hành: (2005)

THE THEORY OF BUSINESS PROCESSES: FORMAL MODELS AND METHODS
Bằng: Georgiy N. Kalyanov
Được phát hành: (2016-08-01)