Formal Specification and Model Checking of Raft Leader Election in Maude

Takanori Ishibashi

Jun 20

--

Our paper “Formal Specification and Model Checking of Raft Leader Election in Maude” has been accepted by ICSCA 2023.

https://dl.acm.org/doi/10.1145/3587828.3587835

I presented at ICSCA 2023.

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

Mastering Customer Segmentation with LLM

Damian Gil
in
Towards Data Science

Mastering Customer Segmentation with LLM

Unlock advanced customer segmentation techniques using LLMs, and improve your clustering models with advanced techniques

23 min read4 days ago

--

16

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

Lists

Staff Picks

457 stories313 saves

Stories to Help You Level-Up at Work

19 stories231 saves

Self-Improvement 101

20 stories637 saves

Productivity 101

20 stories589 saves

What do you do when you disagree with your manager or someone senior to you? Do you voice your opinion or do you choose to keep quiet? Speaking truth to power is a rare skill. Telling someone above you that they’re wrong requires courage and confidence. Holding your tongue and staying silent or nodding your head in agreement even when you disagree definitely feels safe. It doesn’t require fighting your fears or going against your instinct.

Vinita
in
Better Programming

How To Disagree With Someone More Powerful Than You

Disagreements can save time and energy by preventing critical mistakes and course correcting before it’s too late

9 min readSep 18

--

24

photo of a woman with her back turned to the camera. she seems to be staring out a window or balcony, but the background landscape is out of focus

Julia Serano

What Is a Woman? (a response)

Last month, I received an invitation to participate in a public debate about “gender and the definition of what it means to be a woman.”…

5 min read3 days ago

--

26

iOS 17 Safari

Nikhil Vemu
in
Mac O’Clock

Change These 12 iOS 17 Settings Right Now For a Superior Experience

iOS 17’s got hell-a-lot features you can’t discover thyself

9 min read4 days ago

--

15

The End of the Subscription Era is Coming

Nick Hilton

The End of the Subscription Era is Coming

You’re overpaying for your porn (and journalism)

10 min readAug 30

--

220

See more recommendations

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