Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Dross, Claire
7  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

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/..
 
?
2

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/..
 
?
3

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/..
 
?
4

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/..
 
?
5

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/..
 
?
6

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/..
 
?
7

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..
 
1-7