Microsoftの研究者グループが論文“IronFleet: Proving Practical Distributed Systems Correct”の発表に合わせて，非自明な分散システムの正当性を安全性(safety)と活性(liveliness)の観点から証明することで，方法論をマシン上で証明するためのソースコードを公開した。

-
04.02.2016 09:15
=======================================

Microsoftの研究者グループが論文“IronFleet: Proving Practical Distributed Systems Correct”の発表に合わせて，非自明な分散システムの正当性を安全性(safety)と活性(liveliness)の観点から証明することで，方法論をマシン上で証明するためのソースコードを公開した。


http://ift.tt/1abnmbU
February 04, 2016 at 05:15PM

コメント

コメントを投稿

このブログの人気の投稿

投稿時間:2021-06-17 05:05:34 RSSフィード2021-06-17 05:00 分まとめ(1274件)

-
カテゴリー等 サイト名等 記事タイトル・トレンドワード等 リンクURL 頻出ワード・要約等/検索ボリューム 登録日 IT 気になる、記になる… ｢iOS 15｣の新機能の一部は｢iPhone XS｣以降でしか利用出来ないものも https://taisy0.com/2021/06/15/141888.html tomac 2021-06-15 13:11:47 IT ITmedia 総合記事一覧 [ITmedia Mobile] ソースネクストの「ポケトーク」に新機能　グループ翻訳とWeb会議への字幕付与に対応 https://www.itmedia.co.jp/mobile/articles/2106/15/news164.html itmediamobile 2021-06-15 22:10:00 AWS AWS Architecture Blog Field Notes: Benchmark
続きを読む

投稿時間:2021-06-20 02:06:12 RSSフィード2021-06-20 02:00 分まとめ(3871件)

-
カテゴリー等 サイト名等 記事タイトル・トレンドワード等 リンクURL 頻出ワード・要約等/検索ボリューム 登録日 IT 気になる、記になる… ｢iOS 15｣の新機能の一部は｢iPhone XS｣以降でしか利用出来ないものも https://taisy0.com/2021/06/15/141888.html tomac 2021-06-15 13:11:47 IT ITmedia 総合記事一覧 [ITmedia Mobile] ソースネクストの「ポケトーク」に新機能　グループ翻訳とWeb会議への字幕付与に対応 https://www.itmedia.co.jp/mobile/articles/2106/15/news164.html itmediamobile 2021-06-15 22:10:00 AWS AWS Architecture Blog Field Notes: Benchmark
続きを読む

投稿時間:2024-02-12 22:08:06 RSSフィード2024-02-12 22:00分まとめ(7件)

-
カテゴリー サイト名 記事タイトル リンクURL 頻出ワード・要約等 登録日 IT 気になる、記になる… ｢Nintendo Switch 2｣はNvidiaのカスタムチップ搭載で、後方互換性あり?? https://taisy0.com/2024/02/12/195019.html nintendo,nvidia,reuter 2024-02-12 12:39:38 Program JavaScriptタグが付けられた新着投稿 - Qiita 学校のパソコンでScratchが使えなくなってキレたので使えるようにした話 https://qiita.com/hironaga0307/items/ccae4f61106fb5f5f9e0 scratch,パソコン,フィルタ 2024-02-12 21:59:08 Program JavaScriptタグが付けられた新着投稿 - Qiita ライブラリ自
続きを読む