The following pages link to Computer Aided Verification (Q5312939):
Displaying 31 items.
- JavaFAN (Q14483) (← links)
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- An operational semantics for object-oriented concepts based on the class hierarchy (Q736789) (← links)
- The rewriting logic semantics project (Q877024) (← links)
- An overview of the K semantic framework (Q987974) (← links)
- A rewriting logic approach to operational semantics (Q1012130) (← links)
- Mechanising a type-safe model of multithreaded Java with a verified compiler (Q1663233) (← links)
- Formalization and analysis of class loading in Java (Q1850957) (← links)
- Java-MaC: A run-time assurance approach for Java programs (Q1878917) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Verifying hierarchical Ptolemy II discrete-event models using real-time maude (Q1951606) (← links)
- Executable rewriting logic semantics of Orc and formal analysis of Orc programs (Q2348797) (← links)
- (Q2729949) (← links)
- K-Java: a complete semantics of Java (Q2819831) (← links)
- Verification of Java programs with interacting analysis plugins (Q2863859) (← links)
- A rewriting logic approach to operational semantics (extended abstract) (Q2871834) (← links)
- Partial order reduction for rewriting semantics of programming languages (Q2873775) (← links)
- José Meseguer: Scientist and Friend Extraordinaire (Q2945698) (← links)
- The Rewriting Logic Semantics Project: A Progress Report (Q3088267) (← links)
- How to Tackle Integer Weighted Automata Positivity (Q3646253) (← links)
- (Q4473857) (← links)
- (Q4738855) (← links)
- The tccp Interpreter (Q5170191) (← links)
- Memory Representations in Rewriting Logic Semantics Definitions (Q5179135) (← links)
- Computer Aided Verification (Q5312927) (← links)
- Algebraic Methodology and Software Technology (Q5312976) (← links)
- Precise Set Sharing Analysis for Java-Style Programs (Q5452716) (← links)
- Theorem Proving in Higher Order Logics (Q5477655) (← links)
- Towards an Efficient Implementation of Tree Automata Completion (Q5505416) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703785) (← links)
- Memory Policy Analysis for Semantics Specifications in Maude (Q5743600) (← links)
