TU Darmstadt / ULB / TUbiblio

Challenges in defining a programming language for provably correct dynamic analyses

Bodden, Eric and Follner, Andreas and Rasthofer, Siegfried (2012):
Challenges in defining a programming language for provably correct dynamic analyses.
Springer, In: 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012), [Conference or Workshop Item]

This is the latest version of this item.

Item Type: Conference or Workshop Item
Erschienen: 2012
Creators: Bodden, Eric and Follner, Andreas and Rasthofer, Siegfried
Title: Challenges in defining a programming language for provably correct dynamic analyses
Language: English
Publisher: Springer
Divisions: LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt
20 Department of Computer Science > EC SPRIDE
20 Department of Computer Science > EC SPRIDE > Secure Software Engineering
Zentrale Einrichtungen
LOEWE
20 Department of Computer Science
LOEWE > LOEWE-Zentren
Event Title: 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012)
Date Deposited: 13 Jul 2012 07:39
Alternative keywords:
Alternative keywordsLanguage
RUNSECUREUNSPECIFIED
Export:

Available Versions of this Item

  • Challenges in defining a programming language for provably correct dynamic analyses. (deposited 13 Jul 2012 07:39) [Currently Displayed]

Optionen (nur für Redakteure)

View Item View Item