Found 7 Documents (Results 1–7)
Formal memory models for the verification of low-level operating-system code. (English) Zbl 1191.68178
Interprocedural and flow-sensitive type analysis for memory and type safety of C code. (English) Zbl 1192.68125
Formal verification of C systems code. Structured types, separation logic and theorem proving. (English) Zbl 1191.68417
Filter Results by …
all
top 5
Author
- Alkassar, Eyad (1)
- Daum, Matthias (1)
- Debbabi, Mourad (1)
- del Mar Gallardo, María (1)
- Dong, Yuan (1)
- Dörrenbächer, Jan (1)
- Feng, Xinyu (1)
- Guo, Yu (1)
- Hillebrand, Mark A. (1)
- Leinenbach, Dirk C. (1)
- Merino, Pedro (1)
- Sanán, David (1)
- Schirmer, Norbert W. (1)
- Shao, Zhong (1)
- Starostin, Artem (1)
- Tews, Hendrik (1)
- Tlili, Syrine (1)
- Tsyban, Alexandra (1)
- Tuch, Harvey (1)
- Völp, Marcus (1)
- Weber, Tjark (1)
- Wolff, Burkhart (1)
all
top 3
Software
- veriSoft (5)
- Isabelle/HOL (4)
- BLAST (2)
- Isabelle (2)
- Kit (2)
- ACL2 (1)
- Bandera (1)
- Bogor (1)
- Boogie (1)
- CIL (1)
- Caduceus (1)
- Coq (1)
- Cyclone (1)
- ETPS (1)
- GROOVE (1)
- General Purpose Hash Function Library (1)
- HOL-Boogie (1)
- Isar (1)
- Java PathFinder (1)
- KRAKATOA (1)
- MOPS (1)
- PVS (1)
- SPIN (1)
- Smallfoot (1)
- TALx86 (1)
- Why3 (1)
- cminor (1)
- dSPIN (1)
- jETI (1)