|
 
|
John Hatcliff
|
Laboratoire: CIS@K-STATE (US) |
Publications
2017
- [CZR17] P. Courtieu, Z. Zhang, Robby, J. Hatcliff, Y. Moy. "Focused Certification of an Industrial Compilation and Static Verification Toolchain", Software Engineering and Formal Methods (SEFM), August 2017, Vol. 10469, pp.17-34, Series LNCS, Trento, Italy, (DOI: 10.1007/978-3-319-66197-1_2)
Conférence Internationale avec comité de lecture
2013
- [CAC13] P. Courtieu, M. Aponte, T. Crolard, Z. Zhang, Robby, J. Belt, J. Hatcliff, J. Guitton, T. Jennings. "Extended abstract: Towards the Formalization of SPARK 2014 Semantics with Explicit Run-time Checks Using Coq", High Integrity Language Technology - ACM SIGAda’s Annual International Conference, November 2013, pp.2, Series ACM Digital Library, US,
