The following pages link to (Q5506391):
Displaying 9 items.
- VerICS (Q14558) (← links)
- Formal specification and verification of JDK's identity hash map implementation (Q2165501) (← links)
- (Q2722012) (← links)
- (Q2764133) (← links)
- Rule-based programming in Java for protocol verification (Q2849866) (← links)
- Verifying a Compiler for Java Threads (Q3558240) (← links)
- Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic (Q5423862) (← links)
- Theorem Proving in Higher Order Logics (Q5477655) (← links)
- Verification of Java Programs with Generics (Q5505432) (← links)