Modular Verification of Linked Lists With Views via Separation Logic.

Journal of Object Technology - Switzerland
doi 10.5381/jot.2011.10.1.a2
Full Text
Abstract

Available in full text

Categories
Software
Date
Authors
Publisher

AITO - Association Internationale pour les Technologies Objets

Related search

Automatic Parallelization With Separation Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Separation Logic

Communications of the ACM
Computer Science
2019English

Separation Logic With One Quantified Variable

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Modular Verification of Computer Communication Protocols

IEEE Transactions on Communications
1983English

Modular Verification of Strongly Invasive Aspects

2009English

A Comparison of Modular Verification Techniques

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

Modular Verification of Programs With Effects and Effect Handlers in Coq

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Modular Verification of Collaboration-Based Software Designs

ACM SIGSOFT Software Engineering Notes
2001English

Logic Analysis and Verification of N-Input Genetic Logic Circuits

2017English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy