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

Deskribapen osoa

Xehetasun bibliografikoak
Egile Nagusiak:	McIver, A, Morgan, C
Beste egile batzuk:	Plotkin, G
Formatua:	Journal article
Hizkuntza:	English
Argitaratua:	Elsevier 2001
Gaiak:	Theory and automated verification Program development and tools

Antzeko izenburuak

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

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

Program analysis with interpolants
nork: Weissenbacher, G, et al.
Argitaratua: (2010)

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

Monotonicity in shared-memory program verification
nork: Kaiser, A
Argitaratua: (2013)

Program synthesis from domain specific object models
nork: Faitelson, D
Argitaratua: (2008)

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

Precise verification of C programs
nork: Lewis, M
Argitaratua: (2014)

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

Forward looking logics and automata
nork: Ley, C
Argitaratua: (2011)

Automated quantitative software verification
nork: Kattenbelt, M
Argitaratua: (2010)

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

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

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

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

Reasoning with !-graphs
nork: Merry, A
Argitaratua: (2013)

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

An algebraic theory of componentised interaction
nork: Chilton, C
Argitaratua: (2013)

Functions with local state: regularity and undecidability
nork: Murawski, A
Argitaratua: (2005)

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

Repairing strings and trees
nork: Riveros Jaeger, C
Argitaratua: (2013)

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

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

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

Abstract satisfaction
nork: Haller, L
Argitaratua: (2013)

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

EL-ifying ontologies
nork: Carral, D, et al.
Argitaratua: (2014)

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

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

Static analyses over weak memory
nork: Nimal, V, et al.
Argitaratua: (2014)

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

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

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

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

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

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

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

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

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

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