Precise verification of C programs

Precise verification of C programs

<p>Most current approaches to software verification are one-sided -- a safety prover will try to prove that a program is safe, while a bug-finding tool will try to find bugs. It is rare to find an analyser that is optimised for both tasks, which is problematic since it is hard to know in adva...

Mô tả đầy đủ

Chi tiết về thư mục
Tác giả chính:	Lewis, M
Tác giả khác:	Kroening, D
Định dạng:	Luận văn
Ngôn ngữ:	English
Được phát hành:	2014
Những chủ đề:	Theory and automated verification

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

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

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

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

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

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

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)

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

Partial correctness for probabilistic demonic programs
Bằng: McIver, A, et al.
Được phát hành: (2001)

Automated Verification of Building Components Using BIM Models and Point Clouds
Bằng: Honti Richard, et al.
Được phát hành: (2020-09-01)

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

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

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

Automation Processes for Efficient Verification of Complex Systems: An Empirical Case Study
Bằng: Rune Andre Haugen, et al.
Được phát hành: (2024-12-01)

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

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

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

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

C Program Verification: VC Explanation and the Standard Library
Bằng: A. V. Promsky
Được phát hành: (2011-12-01)

Criticality Analysis for the Verification and Validation of Automated Vehicles
Bằng: Christian Neurohr, et al.
Được phát hành: (2021-01-01)

Techniques and tools for the verification of concurrent systems
Bằng: Palikareva, H
Được phát hành: (2012)

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)

Verification of the expert’s opinion
Bằng: M. H. Shcherbakovskyi, et al.
Được phát hành: (2022-09-01)

A New Method for Verification and Evaluation of PLC Software
Bằng: Muhammed Ali Nur ÖZ, et al.
Được phát hành: (2023-06-01)

Abstract satisfaction
Bằng: Haller, L
Được phát hành: (2013)

Coverage Fulfillment Automation in Hardware Functional Verification Using Genetic Algorithms
Bằng: Gabriel Mihail Danciu, et al.
Được phát hành: (2022-01-01)

On Construction and Verification of PLC-Programs
Bằng: E. V. Kuzmin, et al.
Được phát hành: (2015-02-01)

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

Explainability of Automated Fact Verification Systems: A Comprehensive Review
Bằng: Manju Vallayil, et al.
Được phát hành: (2023-11-01)

Verificator: Educational Tool for Learning Programming
Bằng: Danijel RADOSEVIC, et al.
Được phát hành: (2009-10-01)

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

Wall Structure Geometry Verification Using TLS Data and BIM Model
Bằng: Gabriela Bariczová, et al.
Được phát hành: (2021-12-01)

Testimony on Voter Verification
Bằng: Selker, Ted
Được phát hành: (2015)

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)

Reinforcement Learning Made Affordable for Hardware Verification Engineers
Bằng: Alexandru Dinu, et al.
Được phát hành: (2022-11-01)

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

Automation of Formal Veriﬁcation of Programs in the Pifagor Language
Bằng: M. S. Ushakova, et al.
Được phát hành: (2015-08-01)