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

Bibliográfalaš dieđut
Váldodahkkit:	McIver, A, Morgan, C
Eará dahkkit:	Plotkin, G
Materiálatiipa:	Journal article
Giella:	English
Almmustuhtton:	Elsevier 2001
Fáttát:	Theory and automated verification Program development and tools

Geahča maid

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

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

Program analysis with interpolants
Dahkki: Weissenbacher, G, et al.
Almmustuhtton: (2010)

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

Monotonicity in shared-memory program verification
Dahkki: Kaiser, A
Almmustuhtton: (2013)

Program synthesis from domain specific object models
Dahkki: Faitelson, D
Almmustuhtton: (2008)

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

Precise verification of C programs
Dahkki: Lewis, M
Almmustuhtton: (2014)

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

Forward looking logics and automata
Dahkki: Ley, C
Almmustuhtton: (2011)

Automated quantitative software verification
Dahkki: Kattenbelt, M
Almmustuhtton: (2010)

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

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

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

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

Reasoning with !-graphs
Dahkki: Merry, A
Almmustuhtton: (2013)

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

An algebraic theory of componentised interaction
Dahkki: Chilton, C
Almmustuhtton: (2013)

Functions with local state: regularity and undecidability
Dahkki: Murawski, A
Almmustuhtton: (2005)

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

Repairing strings and trees
Dahkki: Riveros Jaeger, C
Almmustuhtton: (2013)

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

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

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

Abstract satisfaction
Dahkki: Haller, L
Almmustuhtton: (2013)

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

EL-ifying ontologies
Dahkki: Carral, D, et al.
Almmustuhtton: (2014)

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

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

Static analyses over weak memory
Dahkki: Nimal, V, et al.
Almmustuhtton: (2014)

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

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

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

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

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

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

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

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

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

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