Formal Verification | Iris Mahttps://irisma00.github.io/tag/formal-verification/Formal VerificationHugo Blox Builder (https://hugoblox.com)en-usTue, 31 Mar 2026 00:00:00 +0000https://irisma00.github.io/media/icon_hu5a1734cb37ae7cf7f9ed13ca525a026e_22866_512x512_fill_lanczos_center_3.pngFormal Verificationhttps://irisma00.github.io/tag/formal-verification/VeriAct: Beyond Verifiability -- Agentic Synthesis of Correct and Complete Formal Specificationshttps://irisma00.github.io/publication/2026-veriact/Tue, 31 Mar 2026 00:00:00 +0000https://irisma00.github.io/publication/2026-veriact/