MLAT
We present an abstraction framework based on modal logic and predicate abstraction technique. In the framework we employ modal logic 2CTLN in order to express predicates for abstraction and specifications of programs. The logic has enough expressive power to describe properties of heaps, such as reachability. Moreover it fits predicate abstraction scheme because its satisfiability problem is decidable. We also present a tool MLAT, an application of the framework for heap analysis.
(Source: http://dl.acm.org/)
This software is also peer reviewed by journal TOMS.
This software is also peer reviewed by journal TOMS.
Keywords for this software
References in zbMATH (referenced in 3 articles , 1 standard article )
Showing results 1 to 3 of 3.
Sorted by year (- Sekizawa, Toshifusa; Tanabe, Yoshinori; Yuasa, Yoshifumi; Takahashi, Koichi: MLAT: a tool for heap analysis based on predicate abstraction by modal logic (2008)
- Leinen, P.: Data structures and concepts for adaptive finite element methods (1995)
- Joppich, Wolfgang; Mijalković, Slobodan: Multigrid methods for process simulation (1993)