@inproceedings{Slind_HAS_20, address = {Grand Wilea, Hawaii}, author = {Slind, Konrad and Hardin, David and {\AA}man Pohjola, Johannes and Sproul, Michael}, booktitle = {Hawaii International Conference on System Sciences}, date = {2020-1-7}, doi = {https://doi.org/10.24251/HICSS.2020.779}, isbn = {9780998133133}, month = jan, pages = {6365-6374}, paperurl = {https://trustworthy.systems/publications/full_text/Slind_HAS_20.pdf}, publisher = {ScholarSpace / AIS Electronic Library}, title = {Synthesis of Verified Architectural Components for Autonomy Hosted on a Verified Microkernel}, year = {2020} }