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

書目詳細資料
Main Authors:	McIver, A, Morgan, C
其他作者:	Plotkin, G
格式:	Journal article
語言:	English
出版:	Elsevier 2001
主題:	Theory and automated verification Program development and tools

相似書籍

Probabilistic guarded commands mechanized in HOL
由: Hurd, J, et al.
出版: (2005)

Quantitative program logic and expected time bounds in probabilistic distributed algorithms
由: McIver, A
出版: (2002)

Program analysis with interpolants
由: Weissenbacher, G, et al.
出版: (2010)

Predicate Abstraction of ANSI-C Programs Using SAT
由: Clarke, E, et al.
出版: (2004)

Monotonicity in shared-memory program verification
由: Kaiser, A
出版: (2013)

Program synthesis from domain specific object models
由: Faitelson, D
出版: (2008)

Formal methods for the analysis of wireless network protocols
由: Fruth, M
出版: (2011)

Precise verification of C programs
由: Lewis, M
出版: (2014)

Techniques and tools for the verification of concurrent systems
由: Palikareva, H
出版: (2012)

Forward looking logics and automata
由: Ley, C
出版: (2011)

Automated quantitative software verification
由: Kattenbelt, M
出版: (2010)

Intersection types and higer-order model checking
由: Ramsay, S, et al.
出版: (2014)

Incremental modelling for verified communication architectures
由: Boehm, P, et al.
出版: (2011)

The formal semantics of a domain-specific modelling language
由: Grealish, C
出版: (2010)

Game semantics based equivalence checking of higher-order programs
由: Hopkins, D, et al.
出版: (2012)

Reasoning with !-graphs
由: Merry, A
出版: (2013)

Abstraction discovery and refinement for model checking by symbolic trajectory evaluation
由: Adams, S
出版: (2014)

An algebraic theory of componentised interaction
由: Chilton, C
出版: (2013)

Functions with local state: regularity and undecidability
由: Murawski, A
出版: (2005)

On learning assumptions for compositional verification of probabilistic systems
由: Feng, L
出版: (2014)

Repairing strings and trees
由: Riveros Jaeger, C
出版: (2013)

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

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

Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications
由: Baier, C, et al.
出版: (2022)

Abstract satisfaction
由: Haller, L
出版: (2013)

Higher-order semantics for quantum programming languages with classical control
由: Atzemoglou, GP
出版: (2012)

EL-ifying ontologies
由: Carral, D, et al.
出版: (2014)

Pushing the boundaries of tractable ontology reasoning
由: Carral, D, et al.
出版: (2014)

TESTed—An educational testing framework with language-agnostic test suites for programming exercises
由: Niko Strijbol, et al.
出版: (2023-05-01)

Static analyses over weak memory
由: Nimal, V, et al.
出版: (2014)

Tractable query answering for description logics via query rewriting
由: Perez-Urbina, H, et al.
出版: (2010)

Automated Verification of Building Components Using BIM Models and Point Clouds
由: Honti Richard, et al.
出版: (2020-09-01)

On Construction and Verification of PLC-Programs
由: E. V. Kuzmin, et al.
出版: (2015-02-01)

Decoding the Atmosphere: Optimising Probabilistic Forecasts with Information Gain
由: John R. Lawson, et al.
出版: (2024-04-01)

Automation of Formal Veriﬁcation of Programs in the Pifagor Language
由: M. S. Ushakova, et al.
出版: (2015-08-01)

UCLAONT: Ontology-Based UML Class Models Verification Tool
由: Adel Rajab, et al.
出版: (2022-01-01)

Verificator: Educational Tool for Learning Programming
由: Danijel RADOSEVIC, et al.
出版: (2009-10-01)

Verification of asynchronous concurrency and the shaped stack constraint
由: Kochems, J
出版: (2014)

Applications of process-oriented design
由: Whitehead, J, et al.
出版: (2014)

Internet-Portal Of Organizational-Methodical Providing Distancionnikh Olympiads On Programirovaniyu.
由: B.N. Lyashenko, et al.
出版: (2009-11-01)