Formal analysis of Java programs in JavaFAN

DOI10.1007/978-3-540-27813-9_46MaRDI QIDQ5312939zbMATH OpenOpenAlexFDO

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

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/b98490

Mathematics Subject Classification ID

Theory of software (68N99) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Formal JVM code analysis in JavaFAN
• Model checking JAVA programs using JAVA PathFinder
• Verification of Java programs with interacting analysis plugins
• K-Java: a complete semantics of Java
• JNuke: Efficient dynamic analysis for Java

Cited in

(34)

• A rewriting logic approach to operational semantics
• JavaFAN
• Mechanising a type-safe model of multithreaded Java with a verified compiler
• Formalization and analysis of class loading in Java
• Java-MaC: A run-time assurance approach for Java programs
• Twenty years of rewriting logic
• Verifying hierarchical Ptolemy II discrete-event models using real-time maude
• Executable rewriting logic semantics of Orc and formal analysis of Orc programs
• Data flow analysis of Java programs in the presence of exceptions
• K-Java: a complete semantics of Java
• Verification of Java programs with interacting analysis plugins
• A rewriting logic approach to operational semantics (extended abstract)
• Partial order reduction for rewriting semantics of programming languages
• José Meseguer: scientist and friend extraordinaire
• Sawja: static analysis workshop for Java
• The rewriting logic semantics project: a progress report
• How to Tackle Integer Weighted Automata Positivity
• The rewriting logic semantics project: a progress report
• Formal modelling of Java GUI event handling
• Automated analysis of Java message service providers
• Formal techniques for Java programs
• The \textsf{tccp} interpreter
• Memory representations in rewriting logic semantics definitions
• JNuke: Efficient dynamic analysis for Java
• Formal JVM code analysis in JavaFAN
• Precise Set Sharing Analysis for Java-Style Programs
• Theorem Proving in Higher Order Logics
• Towards an Efficient Implementation of Tree Automata Completion
• 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
• An operational semantics for object-oriented concepts based on the class hierarchy
• The rewriting logic semantics project
• An overview of the K semantic framework

Describes a project that uses

Uses Software

• Maude
• Java PathFinder

This page was built for publication: Formal analysis of Java programs in JavaFAN

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