Java Bytecode Verification by Model Checking

System Abstract
  • David Basin
  • Stefan Friedrich
  • Joachim Posegga
  • Harald Vogt
Conference paper

DOI: 10.1007/3-540-48683-6_43

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1633)
Cite this paper as:
Basin D., Friedrich S., Posegga J., Vogt H. (1999) Java Bytecode Verification by Model Checking. In: Halbwachs N., Peled D. (eds) Computer Aided Verification. CAV 1999. Lecture Notes in Computer Science, vol 1633. Springer, Berlin, Heidelberg

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • David Basin
    • 1
  • Stefan Friedrich
    • 1
  • Joachim Posegga
    • 2
  • Harald Vogt
    • 2
  1. 1.Universitätsgelände FlugplatzAlbert-Ludwigs-Universität Freiburg Institut für Informatik Freiburg i. Br.Germany
  2. 2.Deutsche Telekom AGIT-Research Security (TZ/FE34)DarmstadtGermany

Personalised recommendations