Travelled to:1 × Austria
Collaborated with:J.Filliâtre A.Paskevich D.Frumin R.Krebbers
Talks about:determin (1) express (1) spirit (1) reason (1) ghost (1) autom (1) about (1) semi (1) code (1) non (1)
Person: Léon Gondelman
DBLP: Gondelman:L=eacute=on
Contributed to:
2014
2019Wrote 2 papers:
- CAV-2014-FilliatreGP
- The Spirit of Ghost Code (JCF, LG, AP), pp. 1–16.
- ESOP-2019-FruminGK #automation #c #nondeterminism #reasoning
- Semi-automated Reasoning About Non-determinism in C Expressions (DF, LG, RK), pp. 60–87.