Funder
Defense Advanced Research Projects Agency
Publisher
Springer Science and Business Media LLC
Subject
Modeling and Simulation,Software
Reference56 articles.
1. Abrahamsson, O., Ho, S., Kanabar, H., Kumar, R., Myreen, M.O., Norrish, M., Tan, Y.K.: Proof-producing Synthesis of CakeML from Monadic HOL Functions. Springer, Berlin (2020)
2. AGREE specification example. https://github.com/ericmercer/agree-specification-example
3. Amundson, I., Cofer, D.: Resolute assurance arguments for cyber assured systems engineering. In: Design Automation for Cyber-Physical Systems and Internet of Things (DESTION 2021) (2021)
4. An SMT-based infinite-state model checker for safety properties in Lustre. https://github.com/loonwerks/jkind
5. Backes, J., Cofer, D., Miller, S., Whalen, M.: Requirements analysis of a quad-redundant flight control system. In: Havelund, K., Holzmann, G., Joshi, R. (eds.) NASA Formal Methods, pp. 82–96. Springer, Berlin (2015)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献