Verified trustworthy software systems
暂无分享,去创建一个
[1] Daniel Kroening,et al. Program synthesis: challenges and opportunities , 2017, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.
[2] J. Tait,et al. Challenges and opportunities. , 1996, Journal of psychiatric and mental health nursing.
[3] Andrew W. Appel,et al. Position paper: the science of deep specification , 2017, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.
[4] Stuart Matthews,et al. Formal verification: will the seedling ever flower? , 2017, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.
[5] Mark Batty,et al. Compositional relaxed concurrency , 2017, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.
[6] John Launchbury,et al. The HACMS program: using formal methods to eliminate exploitable bugs , 2017, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.
[7] Toby Murray,et al. Provably trustworthy systems , 2017, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.
[8] Kathleen Fisher. Using Formal Methods to Eliminate Exploitable Bugs , 2015 .
[9] Matt Kaufmann,et al. Industrial hardware and software verification with ACL2 , 2017, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.