Cited By
View all- Hähnle R(2022)Dijkstra’s Legacy on Program VerificationEdsger Wybe Dijkstra10.1145/3544585.3544593(105-140)Online publication date: 12-Jul-2022
- Carvalho NSilva Sousa CPinto JTomb A(2014)Formal Verification of kLIBC with the WP Frama-C Plug-inProceedings of the 6th International Symposium on NASA Formal Methods - Volume 843010.1007/978-3-319-06200-6_29(343-358)Online publication date: 29-Apr-2014
- Brito ESousa Pinto J(2010)Program verification in SPARK and ACSLProceedings of the 15th Ada-Europe international conference on Reliable Software Technologies10.1007/978-3-642-13550-7_7(97-110)Online publication date: 14-Jun-2010