形式手法の静的検査って具体的にどうやってるかをGeminiに教えてもらおうとして、「Z3とかを実際に弄るともっとわかりやすいかも」って話になって、オンラインで遊べるサイト探して弄ってすごいになった＞＜（語彙力）

Z3 Playground
https://jfmc.github.io/z3-play/