• Citer

Generating Inductive Shape Predicates for Runtime Checking and Formal Verification

par Boockmann, Jan H.;Lüttgen, Gerald;Mühlberg, Jan Tobias
Editeur scientifique Margaria, Tiziana;Steffen, Bernhard
Référence 8th International Symposium, ISoLA 2018(November 5-9, 2018: Limassol, Cyprus), Leveraging Applications of Formal Methods, Verification and Validation. Verification, Lecture notes in computer science (11245), page (64–74)
Publication Publié, 2018-02-01

Publication dans des actes

• Détails
• Contenu

Titre:	Generating Inductive Shape Predicates for Runtime Checking and Formal Verification
Auteur:	Boockmann, Jan H.; Lüttgen, Gerald; Mühlberg, Jan Tobias
Editeur scientifique:	Margaria, Tiziana; Steffen, Bernhard
Informations sur la publication:	8th International Symposium, ISoLA 2018(November 5-9, 2018: Limassol, Cyprus), Leveraging Applications of Formal Methods, Verification and Validation. Verification, Lecture notes in computer science (11245), page (64–74)
Statut de publication:	Publié, 2018-02-01
Sujet CREF:	Informatique générale
Langue:	Anglais
Identificateurs:	urn:issn:0302-9743
	info:doi/10.1007/978-3-030-03421-4_5
	9783030034207