EnglishUnlimited Access
For Registered Users
To contact us, you can contact us via the following mobile numbers by calling and WhatsApp
For Registered Users
100% Secure Payment
10 Days Returns
Call Us Anytime
edition: 1 Authors: Philipp Rümmer, Hossein Hojjat (auth.), Ernie Cohen, Andrey Rybalchenko (eds.) serie: Lecture Notes in Computer Science 8164 Programming and Software Engineering ISBN : 9783642541070, 9783642541087 publisher: Springer-Verlag Berlin Heidelberg publish year: 2014 pages: 358 language: English ebook format : PDF (It will be converted to PDF, EPUB OR AZW3 if requested by the user) file size: 5 MB
Front Matter....Pages -
Classifying and Solving Horn Clauses for Verification....Pages 1-21
Static Analysis of Programs with Imprecise Probabilistic Inputs....Pages 22-47
Effect Analysis for Programs with Callbacks....Pages 48-67
Compositional Network Mobility....Pages 68-87
Parallel Bounded Verification of Alloy Models by TranScoping....Pages 88-107
Extending the Theory of Arrays: memset , memcpy , and Beyond....Pages 108-128
An Improved Unrolling-Based Decision Procedure for Algebraic Data Types....Pages 129-148
Program Checking with Less Hassle....Pages 149-169
Verified Calculations....Pages 170-190
Preserving User Proofs across Specification Changes....Pages 191-201
An Automatic Encoding from VeriFast Predicates into Implicit Dynamic Frames....Pages 202-221
Automated Code Proofs on a Formal Model of the X86....Pages 222-241
Verification of a Virtual Filesystem Switch....Pages 242-261
Verifying Chinese Train Control System under a Combined Scenario by Theorem Proving....Pages 262-280
Formal Verification of Loop Bound Estimation for WCET Analysis....Pages 281-303
Result Certification of Static Program Analysers with Automated Theorem Provers....Pages 304-325
A Formally Verified Generic Branching Algorithm for Global Optimization....Pages 326-343
Back Matter....Pages -
