Formal Analysis of Java Programs in JavaFAN
Abstract elided by the publisher.
Related papers
- Type-based race detection for Java PLDI 2000
- A termination analyzer for Java bytecode based on path-length TOPLAS 2010
- A machine-checked model for a Java-like language, virtual machine, and compiler TOPLAS 2006
- A formal specification of JavaTM class loading OOPSLA 2000
- A Formal Framework for Java Separate Compilation ECOOP 2002
- Combining Formal and Informal Information in Bayesian Program Analysis via Soft Evidences OOPSLA 2025
- Formally Verifying an Efficient Sorter TACAS 2024
- Finding optimum abstractions in parametric dataflow analysis PLDI 2013