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

Bibliografiset tiedot
Päätekijät:	McIver, A, Morgan, C
Muut tekijät:	Plotkin, G
Aineistotyyppi:	Journal article
Kieli:	English
Julkaistu:	Elsevier 2001
Aiheet:	Theory and automated verification Program development and tools

Samankaltaisia teoksia

Probabilistic guarded commands mechanized in HOL
Tekijä: Hurd, J, et al.
Julkaistu: (2005)

Quantitative program logic and expected time bounds in probabilistic distributed algorithms
Tekijä: McIver, A
Julkaistu: (2002)

Program analysis with interpolants
Tekijä: Weissenbacher, G, et al.
Julkaistu: (2010)

Predicate Abstraction of ANSI-C Programs Using SAT
Tekijä: Clarke, E, et al.
Julkaistu: (2004)

Monotonicity in shared-memory program verification
Tekijä: Kaiser, A
Julkaistu: (2013)

Program synthesis from domain specific object models
Tekijä: Faitelson, D
Julkaistu: (2008)

Formal methods for the analysis of wireless network protocols
Tekijä: Fruth, M
Julkaistu: (2011)

Precise verification of C programs
Tekijä: Lewis, M
Julkaistu: (2014)

Techniques and tools for the verification of concurrent systems
Tekijä: Palikareva, H
Julkaistu: (2012)

Forward looking logics and automata
Tekijä: Ley, C
Julkaistu: (2011)

Automated quantitative software verification
Tekijä: Kattenbelt, M
Julkaistu: (2010)

Intersection types and higer-order model checking
Tekijä: Ramsay, S, et al.
Julkaistu: (2014)

Incremental modelling for verified communication architectures
Tekijä: Boehm, P, et al.
Julkaistu: (2011)

The formal semantics of a domain-specific modelling language
Tekijä: Grealish, C
Julkaistu: (2010)

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

Reasoning with !-graphs
Tekijä: Merry, A
Julkaistu: (2013)

Abstraction discovery and refinement for model checking by symbolic trajectory evaluation
Tekijä: Adams, S
Julkaistu: (2014)

An algebraic theory of componentised interaction
Tekijä: Chilton, C
Julkaistu: (2013)

Functions with local state: regularity and undecidability
Tekijä: Murawski, A
Julkaistu: (2005)

On learning assumptions for compositional verification of probabilistic systems
Tekijä: Feng, L
Julkaistu: (2014)

Repairing strings and trees
Tekijä: Riveros Jaeger, C
Julkaistu: (2013)

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

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

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

Abstract satisfaction
Tekijä: Haller, L
Julkaistu: (2013)

Higher-order semantics for quantum programming languages with classical control
Tekijä: Atzemoglou, GP
Julkaistu: (2012)

EL-ifying ontologies
Tekijä: Carral, D, et al.
Julkaistu: (2014)

Pushing the boundaries of tractable ontology reasoning
Tekijä: Carral, D, et al.
Julkaistu: (2014)

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

Static analyses over weak memory
Tekijä: Nimal, V, et al.
Julkaistu: (2014)

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

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

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

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

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

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

Verificator: Educational Tool for Learning Programming
Tekijä: Danijel RADOSEVIC, et al.
Julkaistu: (2009-10-01)

Verification of asynchronous concurrency and the shaped stack constraint
Tekijä: Kochems, J
Julkaistu: (2014)

Applications of process-oriented design
Tekijä: Whitehead, J, et al.
Julkaistu: (2014)

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