Formal Verification of Object-Oriented Software. Papers presented at the International Conference, June 28-30, 2010, Paris, France

; Marché, Claude [Hrsg.]

Volltext

DOI: 10.5445/IR/1000019083

Seitenaufrufe: 385
seit 28.04.2018

Downloads: 6725
seit 16.01.2012

Zugehörige Institution(en) am KIT	Institut für Theoretische Informatik (ITI)
Publikationstyp	Proceedingsband
Publikationsjahr	2010
Sprache	Englisch
Identifikator	ISSN: 2190-4782 urn:nbn:de:swb:90-190832 KITopen-ID: 1000019083
Verlag	Karlsruher Institut für Technologie (KIT)
Umfang	VIII, 359 S.
Serie	Karlsruhe Reports in Informatics (früher: Interner Bericht. Fakultät für Informatik, Karlsruher Institut für Technologie) ; 2010,13
Relationen in KITopen	Enthält Dynamic Frames in Java Dynamic Logic. Schmitt, P. H.; Ulbrich, M.; Weiß, B. (2010) Proceedingsbeitrag (1000019092) A Formalization of the RTSJ Scoped Memory Model in Dynamic Logic. Engel, C.; Schmitt, P. H. (2010) Proceedingsbeitrag (1000019095) A Dynamic Logic for Unstructured Programs with Embedded Assertions. Ulbrich, M. (2010) Proceedingsbeitrag (1000019093) Towards Testing a Verifying Compiler. Bormer, T.; Wagner, M. (2010) Proceedingsbeitrag (1000019091) Verification of Software Product Lines: Reducing the Effort with Delta-oriented Slicing and Proof Reuse. Bruns, D.; Klebanov, V.; Schaefer, I. (2010) Proceedingsbeitrag (1000019096)