Abstract satisfaction

Abstract satisfaction

Hiển thị phiên bản (1) khác

<p>This dissertation shows that satisfiability procedures are abstract interpreters. This insight provides a unified view of program analysis and satisfiability solving and enables technology transfer between the two fields. The framework underlying these developments provides systematic recip...

Mô tả đầy đủ

Chi tiết về thư mục
Tác giả chính:	Haller, L
Tác giả khác:	Kroening, D
Định dạng:	Luận văn
Ngôn ngữ:	English
Được phát hành:	2013
Những chủ đề:	Computing Computer science (mathematics) Theory and automated verification

Những quyển sách tương tự

Abstraction discovery and refinement for model checking by symbolic trajectory evaluation
Bằng: Adams, S
Được phát hành: (2014)

Repairing strings and trees
Bằng: Riveros Jaeger, C
Được phát hành: (2013)

An interpolating decision procedure for transitive relations with uninterpreted functions
Bằng: Kroening, D, et al.
Được phát hành: (2009)

Synthesis and alternating automata over real time
Bằng: Jenkins, M, et al.
Được phát hành: (2012)

Verification of asynchronous concurrency and the shaped stack constraint
Bằng: Kochems, J
Được phát hành: (2014)

EL-ifying ontologies
Bằng: Carral, D, et al.
Được phát hành: (2014)

Static analyses over weak memory
Bằng: Nimal, V, et al.
Được phát hành: (2014)

Pushing the boundaries of tractable ontology reasoning
Bằng: Carral, D, et al.
Được phát hành: (2014)

Higher-order semantics for quantum programming languages with classical control
Bằng: Atzemoglou, GP
Được phát hành: (2012)

Program analysis with interpolants
Bằng: Weissenbacher, G, et al.
Được phát hành: (2010)

Formal methods for the analysis of wireless network protocols
Bằng: Fruth, M
Được phát hành: (2011)

Saturation methods for global model-checking pushdown systems
Bằng: Hague, M
Được phát hành: (2009)

A hierarchy of failures-based models: theory and application
Bằng: Bolton, C, et al.
Được phát hành: (2005)

Topics in monitoring and planning for embedded real-time systems
Bằng: Ho, H
Được phát hành: (2015)

Pictures of processes
Bằng: Kissinger, A
Được phát hành: (2011)

Monotonicity in shared-memory program verification
Bằng: Kaiser, A
Được phát hành: (2013)

Program synthesis from domain specific object models
Bằng: Faitelson, D
Được phát hành: (2008)

On learning assumptions for compositional verification of probabilistic systems
Bằng: Feng, L
Được phát hành: (2014)

Quantitative verification of real-time properties with application to medical devices
Bằng: Marco Diciolla, M, et al.
Được phát hành: (2014)

Reasoning with !-graphs
Bằng: Merry, A
Được phát hành: (2013)

Automated quantitative software verification
Bằng: Kattenbelt, M
Được phát hành: (2010)

Forward looking logics and automata
Bằng: Ley, C
Được phát hành: (2011)

Intersection types and higer-order model checking
Bằng: Ramsay, S, et al.
Được phát hành: (2014)

Precise verification of C programs
Bằng: Lewis, M
Được phát hành: (2014)

Probabilistic guarded commands mechanized in HOL
Bằng: Hurd, J, et al.
Được phát hành: (2005)

Incremental modelling for verified communication architectures
Bằng: Boehm, P, et al.
Được phát hành: (2011)

Central limit model checking
Bằng: Bortolussi, L, et al.
Được phát hành: (2018)

Tractable query answering for description logics via query rewriting
Bằng: Perez-Urbina, H, et al.
Được phát hành: (2010)

Model Checking Systems with Replicated Components using CSP
Bằng: Mazur, T
Được phát hành: (2011)

The formal semantics of a domain-specific modelling language
Bằng: Grealish, C
Được phát hành: (2010)

Abstract GSOS Rules and a Modular Treatment of Recursive Definitions
Bằng: Stefan Milius, et al.
Được phát hành: (2013-09-01)

Predicate Abstraction of ANSI-C Programs Using SAT
Bằng: Clarke, E, et al.
Được phát hành: (2004)

An algebraic theory of componentised interaction
Bằng: Chilton, C
Được phát hành: (2013)

Functions with local state: regularity and undecidability
Bằng: Murawski, A
Được phát hành: (2005)

Game semantics based equivalence checking of higher-order programs
Bằng: Hopkins, D, et al.
Được phát hành: (2012)

Computer and control abstracts
Bằng: Institution of Electrical Engineers (Great Britain), et al.
Được phát hành: (1966)

Skolem meets Schanuel
Bằng: Bilu, Y, et al.
Được phát hành: (2022)

Bounding the escape time of a linear dynamical system over a compact semialgebraic set
Bằng: D'Costa, J, et al.
Được phát hành: (2022)

Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications
Bằng: Baier, C, et al.
Được phát hành: (2022)

On timed models and full abstraction
Bằng: Lowe, G, et al.
Được phát hành: (2006)