We used Quint to find over 10 bugs in SQLite while hardening Turso

Turso 커뮤니티 멤버가 Quint라는 형식적 검증 도구를 활용해 SQLite C API를 모델링하고 테스트하면서 SQLite에서 10개 이상의 버그를 발견했다. Quint는 TLA+ 기반으로 상태 추적을 생성해 실제 SQLite 동작과 비교하며, 기존 테스트로는 발견하기 어려웠던 결함을 찾아냈다. 이 과정에서 sqlite3_deserialize() 함수의 크래시 문제 등 중요한 버그들이 수정되었으며, Turso와 SQLite 모두 품질 향상에 기여했다. 형식적 방법론의 실무 적용 가능성을 보여준 사례다.

https://turso.tech/blog/how-we-used-quint-to-find-over-10-bugs-in-sqlite

#sqlite #formalmethods #quint #testing #opensource

I was on Func Prog Podcast talking about formal methods, model checking, TLA+ and Quint! Here are the links in case you want to check it out:

YouTube: https://youtu.be/zKERmkonANM?si=--G5E0HSjyOKvgFQ
Spotify: https://open.spotify.com/episode/4yaIyGbRcG5dBSGSaD3gCa?si=i2m-c89jQ8ON25HmIUjhSw
RSS: https://anchor.fm/s/10395bc40/podcast/rss

#quint #tlaplus #formalmethods

Extrait de JAWS (1975)

https://frimoulux.com/extrait-de-jaws-1975/

#LesDentsDeLaMer #StevenSpielberg #RoyScheider #RobertShaw #RichardDreyfuss #LorraineGary #thriller #requin #plage #été #chefdepolice #chasseurdequins #biologistemarin #blockbuster #JohnWilliams #musiqueemblématique #MarthasVineyard #UniversalPictures #PeterBenchley #adaptation #océan #tension #suspense #AmityIsland #maire #tourisme #Quint #Brody #Hooper #Orca #bateau #attaques #grandblanc #peur #horreur #budgetdépassé #effetsspéciaux

#Situazionedisperatamanonseria Se di #RobertShaw ho sempre ricordato il suo volto prestato al cinico cacciatore #Quint de #Losqualo di #StevenSpielberg al cattivo e biondissimo Grant che per poco non riesce ad uccidere #SeanConnery in #007DallaRussiaconamore o al claudicante Doyle Lonnegan... #unolibri #unolibro #libri #libro #leggere #recensioni

https://www.valeriotagliaferri.it/situazione-disperata-ma-non-seria-di-robert-shaw/

ascolta gratis la #recensione sul #podcast #lafogliadacanto su #spotify #amazonmusic e #youtube

https://open.spotify.com/episode/7fUFktoBBZW7hjuBUIPjR1?si=5qG4ladkQJ-2hjsFMWbB6A

RT by @eu_near: In Rome, I joined the #Quint meeting to coordinate efforts for Syria's transition.

With Germany, France, Italy, the UK and US, we reaffirmed the need for an inclusive government protecting all minorities

The EU could gradually ease sanctions provided there is tangible progress.
---
https://nitter.privacydev.net/kajakallas/status/1877617432426168466#m

In Rome, I joined the #Quint meeting to coordinate efforts for Syria's transition.

With Germany, France, Italy, the UK and US, we reaffirmed the need for an inclusive government protecting all minorities

The EU could gradually ease sanctions provided there is tangible progress.
---
https://nitter.privacydev.net/kajakallas/status/1877617432426168466#m