Pages that link to "Item:Q1405996"
From MaRDI portal
The following pages link to Bytecode verification by model checking (Q1405996):
Displaying 12 items.
- Using abstract interpretation to add type checking for interfaces in Java bytecode verification (Q974112) (← links)
- Verified bytecode subroutines (Q1405993) (← links)
- A local approach for temporal model checking of Java bytecode (Q1776379) (← links)
- Verified bytecode verifiers. (Q1874284) (← links)
- Memory model sensitive bytecode verification (Q2461564) (← links)
- Faster and more complete extended static checking for the Java modeling language (Q2655328) (← links)
- Verified lightweight bytecode verification (Q4329632) (← links)
- (Q4818817) (← links)
- Computer Science Logic (Q5311262) (← links)
- Computer Aided Verification (Q5312927) (← links)
- Fundamental Approaches to Software Engineering (Q5428882) (← links)
- Computer Aided Verification (Q5716545) (← links)