MLAT: a tool for heap analysis based on predicate abstraction by modal logic

Authors:
Toshifusa Sekizawa;Yoshinori Tanabe;Yoshifumi Yuasa;Koichi Takahashi
Affiliations:
Research Center for Verification and Semantics (CVS) and Osaka University;Research Center for Verification and Semantics (CVS) and The University of Tokyo;Research Center for Verification and Semantics (CVS);Research Center for Verification and Semantics (CVS)
Venue:
SE '08 Proceedings of the IASTED International Conference on Software Engineering
Year:
2008

Citing 10
Cited 1

Modal logic

Modal logic
The SLAM project: debugging system software via static analysis

POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Lazy abstraction

POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Separation Logic: A Logic for Shared Mutable Data Structures

LICS '02 Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science
Shape Analysis through Predicate Abstraction and Model Checking

VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
TVLA: A System for Implementing Static Analyses

SAS '00 Proceedings of the 7th International Symposium on Static Analysis
Construction of Abstract State Graphs with PVS

CAV '97 Proceedings of the 9th International Conference on Computer Aided Verification
The Hybrid µ-Calculus

IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Software verification with BLAST

SPIN'03 Proceedings of the 10th international conference on Model checking software
A decision procedure for the alternation-free two-way modal µ-calculus

TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods

Verification of the Deutsch-Schorr-Waite Marking Algorithm with Modal Logic

VSTTE '08 Proceedings of the 2nd international conference on Verified Software: Theories, Tools, Experiments

Quantified Score

Hi-index	0.00

Visualization

Abstract

Distributed applications are rapidly converging towards the adoption of a computing paradigm based on service-oriented architectures, according to which an application can be seen as a composite web service that is built by assembling a set of existing ...