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

Fuld beskrivelse

Bibliografiske detaljer
Main Authors:	McIver, A, Morgan, C
Andre forfattere:	Plotkin, G
Format:	Journal article
Sprog:	English
Udgivet:	Elsevier 2001
Fag:	Theory and automated verification Program development and tools

Lignende værker

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

Quantitative program logic and expected time bounds in probabilistic distributed algorithms
af: McIver, A
Udgivet: (2002)

Program analysis with interpolants
af: Weissenbacher, G, et al.
Udgivet: (2010)

Predicate Abstraction of ANSI-C Programs Using SAT
af: Clarke, E, et al.
Udgivet: (2004)

Monotonicity in shared-memory program verification
af: Kaiser, A
Udgivet: (2013)

Program synthesis from domain specific object models
af: Faitelson, D
Udgivet: (2008)

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

Precise verification of C programs
af: Lewis, M
Udgivet: (2014)

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

Forward looking logics and automata
af: Ley, C
Udgivet: (2011)

Automated quantitative software verification
af: Kattenbelt, M
Udgivet: (2010)

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

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

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

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

Reasoning with !-graphs
af: Merry, A
Udgivet: (2013)

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

An algebraic theory of componentised interaction
af: Chilton, C
Udgivet: (2013)

Functions with local state: regularity and undecidability
af: Murawski, A
Udgivet: (2005)

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

Repairing strings and trees
af: Riveros Jaeger, C
Udgivet: (2013)

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

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

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

Abstract satisfaction
af: Haller, L
Udgivet: (2013)

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

EL-ifying ontologies
af: Carral, D, et al.
Udgivet: (2014)

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

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

Static analyses over weak memory
af: Nimal, V, et al.
Udgivet: (2014)

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

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

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

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

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

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

Verificator: Educational Tool for Learning Programming
af: Danijel RADOSEVIC, et al.
Udgivet: (2009-10-01)

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

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

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