Computer Aided Verification

DOI10.1007/B98490MaRDI QIDQ5312939zbMATH OpenOpenAlexFDO

Authors Azadeh Farzan, Feng Chen, 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/b98490

Mathematics Subject Classification ID

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

Recommendations

• Algebraic Methodology and Software Technology
• Model checking JAVA programs using JAVA PathFinder
• Verification of Java programs with interacting analysis plugins
• K-Java: a complete semantics of Java
• Computer Aided Verification

Cited in

(33)

• The rewriting logic semantics project: a progress report
• The rewriting logic semantics project: a progress report
• Formalization and analysis of class loading in Java
• Twenty years of rewriting logic
• Towards an Efficient Implementation of Tree Automata Completion
• Memory representations in rewriting logic semantics definitions
• The rewriting logic semantics project
• A rewriting logic approach to operational semantics
• scientific article; zbMATH DE number 1949615 (Why is no real title available?)
• K-Java: a complete semantics of Java
• Tools and Algorithms for the Construction and Analysis of Systems
• Algebraic Methodology and Software Technology
• How to Tackle Integer Weighted Automata Positivity
• scientific article; zbMATH DE number 2087852 (Why is no real title available?)
• Computer Aided Verification
• Verifying hierarchical Ptolemy II discrete-event models using real-time maude
• Precise Set Sharing Analysis for Java-Style Programs
• scientific article; zbMATH DE number 2080835 (Why is no real title available?)
• An operational semantics for object-oriented concepts based on the class hierarchy
• Verification of Java programs with interacting analysis plugins
• JavaFAN
• scientific article; zbMATH DE number 1630122 (Why is no real title available?)
• Mechanising a type-safe model of multithreaded Java with a verified compiler
• Theorem Proving in Higher Order Logics
• Partial order reduction for rewriting semantics of programming languages
• An overview of the K semantic framework
• José Meseguer: scientist and friend extraordinaire
• Executable rewriting logic semantics of Orc and formal analysis of Orc programs
• A rewriting logic approach to operational semantics (extended abstract)
• Sawja: static analysis workshop for Java
• Memory policy analysis for semantics specifications in Maude
• Java-MaC: A run-time assurance approach for Java programs
• The \textsf{tccp} interpreter

Describes a project that uses

Uses Software

• Java PathFinder
• Maude

This page was built for publication: Computer Aided Verification

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