Arthur Charguéraud
Publications
by date
by topic
by venue
Software
CFML
TLC
PASL
FormalMetaCoq
OptiTrust
Teaching
Separation Logic
Coq tutorials
Concours Castor
France-ioi
Misc
The RE command
Home
–
Contact
@InProceedings{chargueraud-11-cfml, author = "Arthur Chargu{\'e}raud", title = "Characteristic Formulae for the Verification of Imperative Programs", year = "2011", pages = "418--430", editor = "Manuel M. T. Chakravarty and Zhenjiang Hu and Olivier Danvy", publisher = "ACM", booktitle = "Proceeding of the 16th {ACM} {SIGPLAN} International Conference on Functional programming ({ICFP})", }