形式アシュランスケース


Agdaによる形式アシュランスケース


参照文献

  1. Y.Kinoshita and M.Takeyama. Assurance Case as a Proof in a Theory, In C.Dale and T.Anderson (eds.), Assuring the Safety of Systems: Proceedings of the Twenty-first Safety-critical Systems Symposium, Bristol, Uk, 5-7th February 2013, Safety Critical Systems Club, ISBN-13: 978-1481018647, 2013.
  2. 武山誠、D-Case 整合性検査ツールと形式アシュランスケース、「所真理雄編、DEOS 変化し続けるシステムのためのディペンダビリティ工学、ISBN 978-4-7649-0461-3、近代科学社、2014」第6章。