Bytecode Verification by Model Checking
dc.contributor.author
Basin, David
dc.contributor.author
Friedrich, Stefan
dc.contributor.author
Gawkowski, Marek
dc.date.accessioned
2017-06-10T02:06:07Z
dc.date.available
2017-06-10T02:06:07Z
dc.date.issued
2003-05
dc.identifier.issn
0168-7433
dc.identifier.issn
1573-0670
dc.identifier.other
10.1023/A:1025059508087
dc.identifier.uri
http://hdl.handle.net/20.500.11850/51280
dc.language.iso
en
dc.publisher
Springer
dc.subject
Static analysis
dc.subject
Model checking
dc.subject
Type safety
dc.subject
Bytecode verification
dc.title
Bytecode Verification by Model Checking
dc.type
Journal Article
ethz.journal.title
Journal of Automated Reasoning
ethz.journal.volume
30
ethz.journal.issue
3-4
ethz.journal.abbreviated
J. autom. reason.
ethz.pages.start
399
ethz.pages.end
444
ethz.identifier.wos
ethz.identifier.nebis
000030572
ethz.publication.place
Berlin
ethz.publication.status
published
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit / Institute of Information Security::03634 - Basin, David / Basin, David
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit / Institute of Information Security::03634 - Basin, David / Basin, David
ethz.date.deposited
2017-06-10T02:06:28Z
ethz.source
ECIT
ethz.identifier.importid
imp59364f657ddb332334
ethz.ecitpid
pub:83627
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-12T13:39:17Z
ethz.rosetta.lastUpdated
2022-03-28T10:46:03Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Bytecode%20Verification%20by%20Model%20Checking&rft.jtitle=Journal%20of%20Automated%20Reasoning&rft.date=2003-05&rft.volume=30&rft.issue=3-4&rft.spage=399&rft.epage=444&rft.issn=0168-7433&1573-0670&rft.au=Basin,%20David&Friedrich,%20Stefan&Gawkowski,%20Marek&rft.genre=article&rft_id=info:doi/10.1023/A:1025059508087&
Files in this item
| Files | Size | Format | Open in viewer |
|---|---|---|---|
|
There are no files associated with this item. |
|||
Publication type
-
Journal Article [130771]