Sciweavers

Share
AMAST
2004
Springer
13 years 3 months ago
Formal JVM Code Analysis in JavaFAN
JavaFAN uses a Maude rewriting logic speciļ¬cation of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...
Azadeh Farzan, José Meseguer, Grigore Rosu
books