E-LIB Suche - Ergebnisse für: Dross, Claire

1

Co-Developing Programs and Their Proof of Correctness:

Chapman, Roderick ; Dross, Claire ; Matthews, Stuart.
Communications of the ACM. 67 (2024) 3 - p. 84-94 , 2024

Link: https://doi.org/10.1145/..

2

Containers for Specification in SPARK:

Dross, Claire
ACM SIGAda Ada Letters. 42 (2023) 2 - p. 62-68 , 2023

Link: https://doi.org/10.1145/..

3

Proving the Correctness of GNAT Light Runtime Library:

Moy, Yannick ; Dross, Claire
ACM SIGAda Ada Letters. 42 (2022) 1 - p. 65-67 , 2022

Link: https://doi.org/10.1145/..

4

Defining a Pattern Matching Language Feature for Ada:

Taft, S. Tucker ; Baird, Stephen ; Dross, Claire
ACM SIGAda Ada Letters. 42 (2022) 1 - p. 79-79 , 2022

Link: https://doi.org/10.1145/..

5

Making Proofs of Floating-Point Programs Accessible to Regu..:

, In: Lecture Notes in Computer Science; Software Verification,

Dross, Claire ; Kanig, Johannes - p. 7-24 , 2022

Link: https://doi.org/10.1007/..

6

VerifyThis 2019: a program verification competition:

Dross, Claire ; Furia, Carlo A ; Huisman, Marieke..
International Journal on Software Tools for Technology Transfer. 23 (2021) 6 - p. 883-893 , 2021

Link: https://doi.org/10.1007/..

7

Verification of Programs with Pointers in SPARK:

, In: Formal Methods and Software Engineering; Lecture Notes in Computer Science,

Jaloyan, Georges-Axel ; Dross, Claire ; Maalej, Maroua.. - p. 55-72 , 2020

Link: https://doi.org/10.1007/..

8

Recursive Data Structures in SPARK:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Dross, Claire ; Kanig, Johannes - p. 178-189 , 2020

Link: https://doi.org/10.1007/..

9

Practical Application of SPARK to OpenUxAS:

, In: Lecture Notes in Computer Science; Formal Methods – The Next 30 Years,

Aiello, M. Anthony ; Dross, Claire ; Rogers, Patrick.. - p. 751-761 , 2019

Link: https://doi.org/10.1007/..

10

Teaching Deductive Verification Through Frama-C and SPARK f..:

, In: Formal Methods Teaching; Lecture Notes in Computer Science,

Creuse, Léo ; Dross, Claire ; Garion, Christophe.. - p. 23-36 , 2019

Link: https://doi.org/10.1007/..

11

Tutorial: A Practical Introduction to Formal Development an..:

, In: 2019 IEEE Cybersecurity Development (SecDev),

Brosgol, Benjamin M. ; Dross, Claire ; Moy, Yannick - p. 1-2 , 2019

Link: https://doi.org/10.1109/..

12

Adding Decision Procedures to SMT Solvers Using Axioms with..:

Dross, Claire ; Conchon, Sylvain ; Kanig, Johannes.
Journal of Automated Reasoning. 56 (2015) 4 - p. 387-457 , 2015

Link: https://doi.org/10.1007/..

13

Hi-Lite : the convergence of compiler technology and pro..:

, In: Proceedings of the 2012 ACM conference on High integrity language technology,

Kanig, Johannes ; Schonberg, Edmond ; Dross, Claire - p. 27-34 , 2012

Link: https://dl.acm.org/doi/1..

14

Hi-Lite: the convergence of compiler technology and program..:

Kanig, Johannes ; Schonberg, Edmond ; Dross, Claire
ACM SIGAda Ada Letters. 32 (2012) 3 - p. 27-34 , 2012

Link: https://doi.org/10.1145/..

15

VerifyThis 2019: a program verification competition:

Dross, Claire ; Furia, Carlo A ; Huisman, Marieke..
info:eu-repo/semantics/altIdentifier/doi/10.1007/s10009-021-00619-x. , 2021

Link: https://hdl.handle.net/2..