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

書目詳細資料
主要作者:	Lewis, M
其他作者:	Kroening, D
格式:	Thesis
語言:	English
出版:	2014
主題:	Theory and automated verification

相似書籍

Automated quantitative software verification
由: Kattenbelt, M
出版: (2010)

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

Monotonicity in shared-memory program verification
由: Kaiser, A
出版: (2013)

Intersection types and higer-order model checking
由: Ramsay, S, et al.
出版: (2014)

Forward looking logics and automata
由: Ley, C
出版: (2011)

Probabilistic guarded commands mechanized in HOL
由: Hurd, J, et al.
出版: (2005)

Incremental modelling for verified communication architectures
由: Boehm, P, et al.
出版: (2011)

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

Partial correctness for probabilistic demonic programs
由: McIver, A, et al.
出版: (2001)

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

Verification of asynchronous concurrency and the shaped stack constraint
由: Kochems, J
出版: (2014)

Abstraction discovery and refinement for model checking by symbolic trajectory evaluation
由: Adams, S
出版: (2014)

Predicate Abstraction of ANSI-C Programs Using SAT
由: Clarke, E, et al.
出版: (2004)

Automation Processes for Efficient Verification of Complex Systems: An Empirical Case Study
由: Rune Andre Haugen, et al.
出版: (2024-12-01)

Functions with local state: regularity and undecidability
由: Murawski, A
出版: (2005)

An algebraic theory of componentised interaction
由: Chilton, C
出版: (2013)

On learning assumptions for compositional verification of probabilistic systems
由: Feng, L
出版: (2014)

Program analysis with interpolants
由: Weissenbacher, G, et al.
出版: (2010)

C Program Verification: VC Explanation and the Standard Library
由: A. V. Promsky
出版: (2011-12-01)

Criticality Analysis for the Verification and Validation of Automated Vehicles
由: Christian Neurohr, et al.
出版: (2021-01-01)

Techniques and tools for the verification of concurrent systems
由: Palikareva, H
出版: (2012)

Repairing strings and trees
由: Riveros Jaeger, C
出版: (2013)

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

Verification of the expert’s opinion
由: M. H. Shcherbakovskyi, et al.
出版: (2022-09-01)

A New Method for Verification and Evaluation of PLC Software
由: Muhammed Ali Nur ÖZ, et al.
出版: (2023-06-01)

Abstract satisfaction
由: Haller, L
出版: (2013)

Coverage Fulfillment Automation in Hardware Functional Verification Using Genetic Algorithms
由: Gabriel Mihail Danciu, et al.
出版: (2022-01-01)

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

Higher-order semantics for quantum programming languages with classical control
由: Atzemoglou, GP
出版: (2012)

Explainability of Automated Fact Verification Systems: A Comprehensive Review
由: Manju Vallayil, et al.
出版: (2023-11-01)

Verificator: Educational Tool for Learning Programming
由: Danijel RADOSEVIC, et al.
出版: (2009-10-01)

Program synthesis from domain specific object models
由: Faitelson, D
出版: (2008)

Wall Structure Geometry Verification Using TLS Data and BIM Model
由: Gabriela Bariczová, et al.
出版: (2021-12-01)

Testimony on Voter Verification
由: Selker, Ted
出版: (2015)

EL-ifying ontologies
由: Carral, D, et al.
出版: (2014)

Static analyses over weak memory
由: Nimal, V, et al.
出版: (2014)

Pushing the boundaries of tractable ontology reasoning
由: Carral, D, et al.
出版: (2014)

Reinforcement Learning Made Affordable for Hardware Verification Engineers
由: Alexandru Dinu, et al.
出版: (2022-11-01)

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

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