41554 blogs · 4,417,066 posts Claim your blog

Record · corpus.blog/posts/01a0bbc3-11f2-702a-864b-839f566e2e68

Model Checking Guided Testing for Distributed Systems

Murat Demirbas · published 28 August 2023

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at muratbuffalo.blogspot.com Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 14
Words captured: 1,898

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://dl.acm.org/doi/pdf/10.1145/3552326.3587442

dl.acm.org

http://www.vldb.org/pvldb/vol13/p1346-davis.pdf

vldb.org

https://foundation.tlapl.us/

foundation.tlapl.us

https://github.com/Icysandwich/Mocket

github.com

https://blogger.googleusercontent.com/img/a/AVvXsEjic4tmgXSGoqHd8omIOaGbeDp-OsLSb7Sn6JmYEh5lS7rn9lcamntwfDaVZI7MoJERCbwP1NZrj1HGX4mIri7Dmez0xfJ2by7Kk-pUcDMpI94j18N01QN23oWtGWVUwvbPa706VjjqzKpasNKt0A5uVrBUVc0M8AhydDuyrtfXbHSf8IP0bvB18odcJGM

blogger.googleusercontent.com

https://blogger.googleusercontent.com/img/a/AVvXsEh9AgZ3S89Ixlc5SX9aMbZpjCaloJMLGpNZg03ZsKenQs12gVDMWoBBJ0oWbe77nS7t66uHUWbfau8arYDWCnpDZ2m_rAt6h8fUk_cU58CsGHDDOAsutw4nj09U2yHiOjuQBiaXb3jamzZttjdQ5w1jgxwjyfpjlPj-vNk9jIFSNN_5mVL9WP5vE6D3HdI

blogger.googleusercontent.com

https://blogger.googleusercontent.com/img/a/AVvXsEh4IZJex5dI4nfAxTLUc9QNemcJgDdYl_YKlWGI0tlJVyT7KlHnOOvxSBtJmNINROECll8KfyKPZMkpspfEHKj-omAnJK6tB496JPmtjDabyjI6F9mlNIws3ONfDQvSYxZhajzgF_gj6pbIP6GAyTXXe8BMDYKiwa3MnWBulN6pWFxk3suz0b1BWlmtnRc

blogger.googleusercontent.com

https://blogger.googleusercontent.com/img/a/AVvXsEgjJQs8DFEhHECIjudYP5bKK_bHSmV4GiAjURRnqtXO4FhOi_Dm27PB_ownDQ21HThFca7FvVapqRPIOd9Afor59SXkYVw_pXzKsC-cVfdkYQo553n55GRHtUUhwct0FEcPnCy7mR3Hfp6EN0Os3HWmrshwBnnJlULhY6R2uU55Xz8I3hSp3R4tdEz4saQ

blogger.googleusercontent.com

https://blogger.googleusercontent.com/img/a/AVvXsEhDAeujSRa9PTUNiB_bRLLR5lySWVyE9qHIUk5a8gaGiCCu_6TBTqwnO-yFu_lxL08CcquEfwM1W_2fYjmzCCuw8UF6FUTy32IubbuQsqeAhW_8_baMhDr8ButUqrMbU9lIKbXgihvhfeZ1tQg0PTK6vLHJaJj7M_RVnNkG2F3we-XYstbL9THSOjUSUPY

blogger.googleusercontent.com

https://blogger.googleusercontent.com/img/a/AVvXsEg6DCmtdCQ4uRjd8IIytxFJvGsdX_5bk82HO1BdDE0rZBMnTMijFHoeqbXRa9btpH0o_HB9sPf8FNRy1FmtiAKKpOC_izEdP_-slW8fT8ae5vIE5u5qo0SyRhJKGYXCWIOo3uf6dB9mkY-wbzU5Dt1FrRJ450Iv7-O5Sji5iYWXQWIW3GK1vMiM-TNhlgo

blogger.googleusercontent.com

https://blogger.googleusercontent.com/img/a/AVvXsEiYI9n2YZirZvjWqx3xDnQdijwoGUMEFTmAACAfHab7pMgafRoYlEOvzCsAecREy5tUZNf1-pHWMKASYFeHQJuhb-ZRs7EfV7Tj0iflJIV26gWSCd4-vwFxj7TnetjiHXpSmaXqP_7IsejsoJtF6tS-P3TjiZul-hIup3D1wKuxGJ0O_n2bx3PuMZLAmjM

blogger.googleusercontent.com

https://blogger.googleusercontent.com/img/a/AVvXsEhpDxColvafLXFsVBdqd82i0vb3dviUHgWYL5RLXY7e0Um7f377hFp4ZWIjEc4jyedAgX1NUg7vXkKjzzHHu4nM0J_ogARMnnVR0pv2Z43taq4T6r6ul0crzfaASeghbZRcr-Tk2gDhDY9JmXBsZo2RO2I-yRWaKpO1vJlYeeDqsglz-ifkJ9GO3seg2pM

blogger.googleusercontent.com

https://github.com/tlaplus/Examples/tree/master/specifications/PaxosHowToWinATuringAward

github.com

https://github.com/tokio-rs/turmoil

github.com