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)