Bytecode Verification by Model Checking

Thumbnail
Metadata only
Author
Basin, David
Friedrich, Stefan
Gawkowski, Marek
Date
2003-05
Type
    Journal Article
Publication status
published
External links
Journal / series
Journal of Automated Reasoning
Volume
30(3-4)
Pages / Article No.
399 - 444
Publisher
Springer
Subject
Static analysis; Model checking; Type safety; Bytecode verification
Organisational unit
03634 - Basin, David / Basin, David  
More
Show all metadata
Citations
Cited 6 times in Web of Science
ETH Bibliography
yes
Altmetrics