Formal Specification and Model Checking of Raft Log Replication in Maude

Takanori Ishibashi

Jun 29

--

Our paper “Formal Specification and Model Checking of Raft Log Replication in Maude” has been accepted by DMSVIVA23.

http://ksiresearchorg.ipage.com/seke/Proceedings/dms/DMSVIVA2023_Proceedings.pdf

I presented at DMSVIVA23.

Computer Science

Takanori Ishibashi

Written by Takanori Ishibashi

Software engineer

More from Takanori Ishibashi

Rustのエラーハンドリング

Takanori Ishibashi

Rustのエラーハンドリング

個人で試しに書いているプログラムだと、エラーハンドリングを丁寧に行わない場合がある。しかし仕事で書いているプログラムだと、エラーが発生した場合、他の人が読んでも理解しやすいようにエラーの内容や原因を丁寧に出力したり、エラーの内容によってリトライさせる必要がある。…

8 min readMay 2, 2018

--

1

JAIST受験メモ（2020年）

Takanori Ishibashi

JAIST受験メモ（2020年）

誰?

3 min readAug 29, 2020

--

Introduction to Type-Driven Development with Rust

Takanori Ishibashi

Introduction to Type-Driven Development with Rust

The aim of this blog post is to examine type-driven development with Rust. Type-driven development is an approach to develop robust and…

2 min readFeb 25, 2020

--

DartのZone入門

Takanori Ishibashi

DartのZone入門

Zoneはプログラム実行のコンテクストそのものであり、すべてのプログラムは何らかのZoneで実行される。（現在のZoneはZone.current で取得できる） Zoneは非同期呼び出しを扱いやすくするものでdart:asyncに含まれている。

2 min readOct 14, 2018

--

See all from Takanori Ishibashi

Recommended from Medium

Don’t Just LeetCode; Follow the Coding Patterns Instead

Arslan Ahmad
in
Level Up Coding

Don’t Just LeetCode; Follow the Coding Patterns Instead

What if you don’t like to practice 100s of coding questions before the interview?

5 min readSep 15, 2022

--

24

Mastering the Two-Pointer Technique: A Guide to Solving Array Problems Efficiently

Architect Algos
in
ArchitectAlgos

Mastering the Two-Pointer Technique: A Guide to Solving Array Problems Efficiently

Unlock the Power of Two-Pointer Algorithms for Optimal Solutions to Common Array Problems

5 min readSep 6

--

Lists

It's never too late or early to start something

15 stories141 saves

Natural Language Processing

665 stories268 saves

Staff Picks

457 stories313 saves

TryHackMe: Splunk:Basics

Jose Ruiz Garcia

TryHackMe: Splunk:Basics

Hello, Medium community! I’ve embarked on a journey to deepen my understanding of cybersecurity, with a particular focus on SIEM tools. As…

4 min read2 days ago

--

Introduction to Arrays and Their Algorithms :

Ibrahim Lanre Adedimeji

Introduction to Arrays and Their Algorithms :

Arrays are fundamental data structures in computer science and programming. They provide a way to store and organize multiple elements of…

13 min readJun 5

--

The ChatGPT Hype Is Over — Now Watch How Google Will Kill ChatGPT.

AL Anany

The ChatGPT Hype Is Over — Now Watch How Google Will Kill ChatGPT.

It never happens instantly. The business game is longer than you know.

6 min readSep 1

--

328

Dijkstra’s Algorithm

Maryann Gitonga

Dijkstra’s Algorithm

2 min readSep 4

--

1

See more recommendations

Help
Status
Writers
Blog
Careers
Privacy
Terms
About
Text to speech
Teams