Partial correctness for probabilistic demonic programs

Partial correctness for probabilistic demonic programs

Recent work in sequential program semantics has produced both an operational (He et al., Sci. Comput. Programming 28(2, 3) (1997) 171–192) and an axiomatic (Morgan et al., ACM Trans. Programming Languages Systems 18(3) (1996) 325–353; Seidel et al., Tech Report PRG-TR-6-96, Programming Research grou...

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính:	McIver, A, Morgan, C
Tác giả khác:	Plotkin, G
Định dạng:	Journal article
Ngôn ngữ:	English
Được phát hành:	Elsevier 2001
Những chủ đề:	Theory and automated verification Program development and tools

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

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

Quantitative program logic and expected time bounds in probabilistic distributed algorithms
Bằng: McIver, A
Được phát hành: (2002)

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

Predicate Abstraction of ANSI-C Programs Using SAT
Bằng: Clarke, E, et al.
Được phát hành: (2004)

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

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

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

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

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

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

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

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

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

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

Game semantics based equivalence checking of higher-order programs
Bằng: Hopkins, D, et al.
Được phát hành: (2012)

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

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

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

Functions with local state: regularity and undecidability
Bằng: Murawski, A
Được phát hành: (2005)

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

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

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

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

Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications
Bằng: Baier, C, et al.
Được phát hành: (2022)

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

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

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)

TESTed—An educational testing framework with language-agnostic test suites for programming exercises
Bằng: Niko Strijbol, et al.
Được phát hành: (2023-05-01)

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

Tractable query answering for description logics via query rewriting
Bằng: Perez-Urbina, H, et al.
Được phát hành: (2010)

Automated Verification of Building Components Using BIM Models and Point Clouds
Bằng: Honti Richard, et al.
Được phát hành: (2020-09-01)

On Construction and Verification of PLC-Programs
Bằng: E. V. Kuzmin, et al.
Được phát hành: (2015-02-01)

Decoding the Atmosphere: Optimising Probabilistic Forecasts with Information Gain
Bằng: John R. Lawson, et al.
Được phát hành: (2024-04-01)

Automation of Formal Veriﬁcation of Programs in the Pifagor Language
Bằng: M. S. Ushakova, et al.
Được phát hành: (2015-08-01)

UCLAONT: Ontology-Based UML Class Models Verification Tool
Bằng: Adel Rajab, et al.
Được phát hành: (2022-01-01)

Verificator: Educational Tool for Learning Programming
Bằng: Danijel RADOSEVIC, et al.
Được phát hành: (2009-10-01)

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

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

Internet-Portal Of Organizational-Methodical Providing Distancionnikh Olympiads On Programirovaniyu.
Bằng: B.N. Lyashenko, et al.
Được phát hành: (2009-11-01)