Automatic C Program Verification Based on Mixed Axiomatic Semantics

<p>The development of the C-light project resulted in the application of new formalisms and implementation techniques which facilitate the verification process. The mixed axiomatic semantics proposes a choice between simplified and full-strength deduction rules depending on program objects and their...

Celý popis

Podrobná bibliografie

Hlavní autoři:	I. V. Maryasov, V. A. Nepomnyaschy, A. V. Promsky, D. A. Kondratyev
Médium:	Artigo
Jazyk:	Inglês
Vydáno:	Yaroslavl State University 2013-01-01
Edice:	Моделирование и анализ информационных систем
Témata:	верификация операционная семантика аксиоматическая семантика язык C язык C-light язык C-kernel частичная корректность ACSL LLVM Simplify
On-line přístup:	http://mais-journal.ru/jour/article/view/157
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!