The following pages link to Computer Aided Verification (Q5716545):
Displaying 7 items.
- JVer (Q37165) (← links)
- Using abstract interpretation to add type checking for interfaces in Java bytecode verification (Q974112) (← links)
- An assembler and disassembler framework for Java\(^{\text{TM}}\) programmers (Q2476506) (← links)
- Theorem Proving in Higher Order Logics (Q5464646) (← links)
- (Q5506391) (← links)
- Formal Methods for Open Object-Based Distributed Systems (Q5902538) (← links)
- A case study in class library verification: Java's vector class (Q5953451) (← links)
