Pages that link to "Item:Q2863859"
From MaRDI portal
The following pages link to Verification of Java programs with interacting analysis plugins (Q2863859):
Displaying 7 items.
- Automatic verification of Java programs with dynamic frames (Q973055) (← links)
- Program verification with interacting analysis plugins (Q2642983) (← links)
- Rule-based programming in Java for protocol verification (Q2849866) (← links)
- Falsifying Safety Properties Through Games on Over-approximating Models (Q4982087) (← links)
- Computer Aided Verification (Q5312939) (← links)
- Verification of Java Programs with Generics (Q5505432) (← links)
- (Q5506391) (← links)