Found 3 Documents (Results 1–3)
Proving non-termination by acceleration driven clause learning (short paper). (English) Zbl 07838489
Pientka, Brigitte (ed.) et al., Automated deduction – CADE 29. 29th international conference on automated deduction, Rome, Italy, July 1–4, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14132, 220-233 (2023).
Proving LTL properties of bitvector programs and decompiled binaries. (English) Zbl 1520.68076
Oh, Hakjoo (ed.), Programming languages and systems. 19th Asian symposium, APLAS 2021, Chicago, IL, USA, October 17–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13008, 285-304 (2021).
MSC:
68Q60
Filter Results by …
Document Type
- Journal Articles (1)
- Collection Articles (2)
all
top 5
Author
- Dietsch, Daniel (1)
- Frohn, Florian (1)
- Giesl, Jürgen (1)
- Koskinen, Eric (1)
- Le, Ton Chanh (1)
- Liu, Yuandong Cyrus (1)
- Pang, Chengbin (1)
- Payet, Étienne (1)
- Portokalidis, Georgios (1)
- Xu, Jun (1)