5 citations · 17 across the 6 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.PL2019★ 2 cited
Deeply Integrating C11 Code Support into Isabelle/PIDE
Frédéric Tuong, Burkhart Wolff
We present a framework for C code in C11 syntax deeply integrated into the Isabelle/PIDE development environment. Our framework provides an abstract interface for verification back…
cs.SE2019★ 4 cited
Making Agile Development Processes fit for V-style Certification Procedures
Sergio Bezzecchi, Paolo Crisafulli, Charlotte Pichot +1
We present a process for the development of safety and security critical components in transportation systems targeting a high-level certification (CENELEC 50126/50128, DO 178, CC…