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-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...
続きを読む

投稿時間:2023-02-05 02:09:04 RSSフィード2023-02-05 02:00 分まとめ(9件)

-
カテゴリー等 サイト名等 記事タイトル・トレンドワード等 リンクURL 頻出ワード・要約等/検索ボリューム 登録日 python Pythonタグが付けられた新着投稿 - Qiita pythonの-mオプションの動作を調べる https://qiita.com/Ryku/items/d9cebcb9e0a9e36281c6 pythonmmym 2023-02-05 01:18:33 python Pythonタグが付けられた新着投稿 - Qiita 【Python】pythonでwifi接続をしてみた。【pywifi】 https://qiita.com/shinfx/items/f7250730c0d8dabb5962 pywifi 2023-02-05 01:10:24 js JavaScriptタグが付けられた新着投稿 - Qiita 【Julia】Electron.jlを使ってカウンタ...
続きを読む

投稿時間:2025-11-14 21:07:05 RSSフィード2025-11-14 21:00分まとめ(6件)

-
カテゴリー サイト名 記事タイトル リンクURL 頻出ワード・要約等 登録日 IT ITmedia 総合記事一覧 [ITmedia Mobile] 「Suicaのペンギン」卒業騒動にまつわる背景と誤解　JR東日本に聞いた https://www.itmedia.co.jp/mobile/articles/2511/14/news113.html itmediamobilesuica,jr東日本,suica 2025-11-14 20:10:00 Program JavaScriptタグが付けられた新着投稿 - Qiita 初めて本気の個人開発をしてみた話とか https://qiita.com/Fox_Aoi/items/12f5c121277e265159aa どうこう,アドベントカレンダー,ブラウザバック 2025-11-14 20:27:39 Program JavaScriptタグが付けられた新着投稿 - Qiita ...
続きを読む