本記事は、2025年11月17日から19日に開催された第7回自律システムのための形式手法国際ワークショップ（FMAS 2025）の議事録をまとめたものです。FMASワークショップシリーズは、自律システムがもたらす独自の課題に対処するために形式手法を用いる研究者たちを集結させ、研究成果を発表し、議論することを目的としています。FMAS 2025は、フランス・パリで開催された第20回統合形式手法国際会議（iFM'25）と同時開催されました。16件の応募があり、カナダ、中国、フランス、ドイツ、アイルランド、イタリア、日本、オランダ、ポルトガル、スウェーデン、アメリカ、イギリスといった多様な国から集まりました。昨年より応募数は減少しましたが、新旧の研究者による参加があり、FMASのコミュニティの成長ポテンシャルが示されました。