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

書誌詳細
主要な著者:	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, 等
出版事項: (2005)

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

Program analysis with interpolants
著者:: Weissenbacher, G, 等
出版事項: (2010)

Predicate Abstraction of ANSI-C Programs Using SAT
著者:: Clarke, E, 等
出版事項: (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, 等
出版事項: (2014)

Incremental modelling for verified communication architectures
著者:: Boehm, P, 等
出版事項: (2011)

The formal semantics of a domain-specific modelling language
著者:: Grealish, C
出版事項: (2010)

Game semantics based equivalence checking of higher-order programs
著者:: Hopkins, D, 等
出版事項: (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, 等
出版事項: (2009)

Quantitative verification of real-time properties with application to medical devices
著者:: Marco Diciolla, M, 等
出版事項: (2014)

Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications
著者:: Baier, C, 等
出版事項: (2022)

Abstract satisfaction
著者:: Haller, L
出版事項: (2013)

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

EL-ifying ontologies
著者:: Carral, D, 等
出版事項: (2014)

Pushing the boundaries of tractable ontology reasoning
著者:: Carral, D, 等
出版事項: (2014)

TESTed—An educational testing framework with language-agnostic test suites for programming exercises
著者:: Niko Strijbol, 等
出版事項: (2023-05-01)

Static analyses over weak memory
著者:: Nimal, V, 等
出版事項: (2014)

Tractable query answering for description logics via query rewriting
著者:: Perez-Urbina, H, 等
出版事項: (2010)

Automated Verification of Building Components Using BIM Models and Point Clouds
著者:: Honti Richard, 等
出版事項: (2020-09-01)

On Construction and Verification of PLC-Programs
著者:: E. V. Kuzmin, 等
出版事項: (2015-02-01)

Decoding the Atmosphere: Optimising Probabilistic Forecasts with Information Gain
著者:: John R. Lawson, 等
出版事項: (2024-04-01)

Automation of Formal Veriﬁcation of Programs in the Pifagor Language
著者:: M. S. Ushakova, 等
出版事項: (2015-08-01)

UCLAONT: Ontology-Based UML Class Models Verification Tool
著者:: Adel Rajab, 等
出版事項: (2022-01-01)

Verificator: Educational Tool for Learning Programming
著者:: Danijel RADOSEVIC, 等
出版事項: (2009-10-01)

Verification of asynchronous concurrency and the shaped stack constraint
著者:: Kochems, J
出版事項: (2014)

Applications of process-oriented design
著者:: Whitehead, J, 等
出版事項: (2014)

Internet-Portal Of Organizational-Methodical Providing Distancionnikh Olympiads On Programirovaniyu.
著者:: B.N. Lyashenko, 等
出版事項: (2009-11-01)