Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Guaranteeing correctness properties of a Java Card applet
RISE, Swedish ICT, SICS.
2004 (English)In: Electronical Notes in Theoretical Computer Science, ISSN 1571-0661, E-ISSN 1571-0661, Vol. 113, 217-233 p.Article in journal (Refereed) Published
Abstract [en]

The paper describes an experiment in which a framework for model checking Java byte code, combined with the application of runtime monitoring techniques through code rewriting, was used to guarantee correctness properties of a Java Card applet.

Place, publisher, year, edition, pages
2004, 1. Vol. 113, 217-233 p.
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:ri:diva-22343OAI: oai:DiVA.org:ri-22343DiVA: diva2:1041888
Note

In: Proceedings of the RV'04 workshop (Runtime Verification '04), at Barcelona

Available from: 2016-10-31 Created: 2016-10-31 Last updated: 2017-08-10Bibliographically approved

Open Access in DiVA

No full text

By organisation
SICS
In the same journal
Electronical Notes in Theoretical Computer Science
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar

Total: 6 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
v. 2.26.0