1. 2015. seL4 Microkernel. sel4.systems/. 2015. seL4 Microkernel. sel4.systems/.
2. cvc5: A Versatile and Industrial-Strength SMT Solver
3. Jason Belt , John Hatcliff , Robby, John Shackleton , Jim Carciofini , Todd Carpenter , Eric Mercer , Isaac Amundson , Junaid Babar , Darren Cofer , David Hardin , Karl Hoech , Konrad Slind , Ihor Kuz , and Kent Mcleod . 2022. Model-Driven Development for the seL4 Microkernel Using the HAMR Framework. Journal of Systems Architecture ( 2022 ), (to appear). Jason Belt, John Hatcliff, Robby, John Shackleton, Jim Carciofini, Todd Carpenter, Eric Mercer, Isaac Amundson, Junaid Babar, Darren Cofer, David Hardin, Karl Hoech, Konrad Slind, Ihor Kuz, and Kent Mcleod. 2022. Model-Driven Development for the seL4 Microkernel Using the HAMR Framework. Journal of Systems Architecture (2022), (to appear).
4. SAE AS5506 Rev. C. 2017. Architecture Analysis and Design Language (AADL). SAE AS5506 Rev. C. 2017. Architecture Analysis and Design Language (AADL).