Formal JVM code analysis in JavaFAN

DOI10.1007/978-3-540-27815-3_14MaRDI QIDQ5312976zbMATH OpenOpenAlexFDO

Authors Azadeh Farzan, José Meseguer, Grigore Roşu

Publication date 25 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b98770

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Formal analysis of Java programs in JavaFAN
• Automated Reasoning
• Executable JVM model for analytical reasoning: A study
• Towards a machine-checked Java specification book
• K-Java: a complete semantics of Java

Cited in

(18)

• A rewriting logic approach to operational semantics
• JavaFAN
• Formalization and analysis of class loading in Java
• Twenty years of rewriting logic
• Integrating formal specifications into applications: the ProB Java API
• Executable rewriting logic semantics of Orc and formal analysis of Orc programs
• Executable JVM model for analytical reasoning: A study
• Partial order reduction for rewriting semantics of programming languages
• Animating the formalised semantics of a Java-like language
• The rewriting logic semantics project: a progress report
• Formal approach to derivation of concurrent implementations in software product lines
• The rewriting logic semantics project: a progress report
• Memory representations in rewriting logic semantics definitions
• Formal analysis of Java programs in JavaFAN
• Java-MOP: A monitoring oriented programming environment for Java
• Memory policy analysis for semantics specifications in Maude
• A rewriting logic semantics for the analysis of \textsf{P} programs
• The rewriting logic semantics project

Describes a project that uses

Uses Software

• SPIN
• Maude
• LOOP
• JML

This page was built for publication: Formal JVM code analysis in JavaFAN

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5312976)