( en | de | ru )

 

Disambiguation of "Marché, Claude"

Author of the publication

copydeleteadd this publication to your clipboard
Specification and Proof of High-Level Functional Properties of Bit-Level Programs.

, , , and . NFM, volume 9690 of Lecture Notes in Computer Science, page 291-306. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Claudia Marche

Jamil Marche

Claude Krier

Claude Velo

Claude Haan

 

Other publications of authors with the same name

Discharging Proof Obligations from Atelier B Using Multiple Automated Provers., , , and . ABZ, volume 7316 of Lecture Notes in Computer Science, page 238-251. Springer, (2012)Static versus Dynamic Verification in Why3, Frama-C and SPARK 2014., , , and . ISoLA (1), volume 9952 of Lecture Notes in Computer Science, page 461-478. (2016)On Ground AC-Completion.. RTA, volume 488 of Lecture Notes in Computer Science, page 411-422. Springer, (1991)Towards Modular Algebraic Specifications for Pointer Programs: A Case Study.. Rewriting, Computation and Proof, volume 4600 of Lecture Notes in Computer Science, page 235-258. Springer, (2007)The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations., , , and . ABZ, volume 8477 of Lecture Notes in Computer Science, page 290-293. Springer, (2014)Termination and Completion Modulo Associativity, Commutativity and Identity., and . Theor. Comput. Sci., 104 (1): 29-51 (1992)Modular inference of subprogram contracts for safety checking., and . J. Symb. Comput., 45 (11): 1184-1211 (2010)Counterexamples from Proof Failures in SPARK., , and . SEFM, volume 9763 of Lecture Notes in Computer Science, page 215-233. Springer, (2016)Ghost Code in Action: Automated Verification of a Symbolic Interpreter., and . VSTTE, volume 12031 of Lecture Notes in Computer Science, page 107-123. Springer, (2019)A case study of C source code verification: the Schorr-Waite algorithm., and . SEFM, page 190-199. IEEE Computer Society, (2005)