Compositional Invariant Checking for Overlaid and Nested Linked Lists

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-37036-6_9
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Induction in Compositional Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Automatic Synthesis of Assumptions for Compositional Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Compositional Entailment Checking for a Fragment of Separation Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

From Invariant Checking to Invariant Inference Using Randomized Search

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Checking Subsystem Safety Properties in Compositional Reachability Analysis

English

Towards the Use of Slicing Techniques for an Efficient Invariant Checking

2015English

Nested Closed Invariant Curves in Piecewise Smooth Maps

International Journal of Bifurcation and Chaos in Applied Sciences and Engineering
ModelingEngineeringMultidisciplinaryApplied MathematicsSimulation
2019English

Model Checking for Successor-Invariant First-Order Logic on Minor-Closed Graph Classes

2013English

Modular Verification of Linked Lists With Views via Separation Logic.

Journal of Object Technology
Software
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy