Counterexample-guided prophecy for model checking modulo the theory of arrays. (English) Zbl 07596574
MSC:
68Q60
Found 3 Documents (Results 1–3)
Data abstraction: a general framework to handle program verification of data structures. (English) Zbl 1497.68108
Drăgoi, Cezara (ed.) et al., Static analysis. 28th international symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12913, 215-235 (2021).
RustHorn: CHC-based verification for Rust programs. (English) Zbl 1508.68071
Müller, Peter (ed.), Programming languages and systems. 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12075, 484-514 (2020).
Filter Results by …
Document Type
- Journal Articles (1)
- Collection Articles (2)
all
top 5
Author
- Barrett, Clark W. (1)
- Braine, Julien (1)
- Gonnord, Laure (1)
- Griggio, Alberto (1)
- Irfan, Ahmed (1)
- Kobayashi, Naoki (1)
- Mann, Makai (1)
- Matsushita, Yusuke (1)
- Monniaux, David P. (1)
- Padon, Oded (1)
- Tsukada, Takeshi (1)
Main Field
- 68-XX (3)
