Voblint: End-to-End Soundness of a Context-Sensitive Goblint-Style Analyzer in Isabelle/HOL
Source files
root filemain.tex · root file2 KiB · SHA-256 d0c3272050ed4ed7… · view textauxiliary filegenerated/contexts.tex606 B · SHA-256 75236e3d73fef3e3… · view textauxiliary filegenerated/costs.tex392 B · SHA-256 ca2a0bc78c7e5898… · view textauxiliary filegenerated/references.bib13 KiB · SHA-256 2efdd6a0fa05db69… · view textauxiliary filegenerated/run_voblint_source_sound.tex2 KiB · SHA-256 0a876b6dbd125e5c… · view textauxiliary filegenerated/scale.tex856 B · SHA-256 3259ba6e61c4c3aa… · view textauxiliary filegenerated/stats.tex11 KiB · SHA-256 f335e38257201d95… · view textauxiliary filemacros.tex1 KiB · SHA-256 310196b042744685… · view textauxiliary filesections/abstract.tex2 KiB · SHA-256 025b5e131e03c635… · view textauxiliary filesections/conclusion.tex2 KiB · SHA-256 b5798c0b780e2dda… · view textauxiliary filesections/equations.tex11 KiB · SHA-256 1b9ad8c01b8f85c2… · view textauxiliary filesections/evaluation.tex7 KiB · SHA-256 960308a7ac4f8d9e… · view textauxiliary filesections/introduction.tex5 KiB · SHA-256 47e0ded9b280ec25… · view textauxiliary filesections/mechanization.tex3 KiB · SHA-256 74a96ebe10abc633… · view textauxiliary filesections/overview.tex7 KiB · SHA-256 ac0309bc9536ccd2… · view textauxiliary filesections/related.tex5 KiB · SHA-256 e64ab14c83c2ea0b… · view textauxiliary filesections/statements.tex1 KiB · SHA-256 7f6818ab1f221fc9… · view textauxiliary filesections/theorem.tex9 KiB · SHA-256 21ff91b138a7b4b7… · view textauxiliary filesections/traces.tex11 KiB · SHA-256 82c55e3e22891ed0… · view text