Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Vlad Saveluc
Compositional Invariant Checking for Overlaid and Nested Linked Lists
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Induction in Compositional Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automatic Synthesis of Assumptions for Compositional Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Compositional Entailment Checking for a Fragment of Separation Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
From Invariant Checking to Invariant Inference Using Randomized Search
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Checking Subsystem Safety Properties in Compositional Reachability Analysis
Towards the Use of Slicing Techniques for an Efficient Invariant Checking
Nested Closed Invariant Curves in Piecewise Smooth Maps
International Journal of Bifurcation and Chaos in Applied Sciences and Engineering
Modeling
Engineering
Multidisciplinary
Applied Mathematics
Simulation
Model Checking for Successor-Invariant First-Order Logic on Minor-Closed Graph Classes
Modular Verification of Linked Lists With Views via Separation Logic.
Journal of Object Technology
Software
