Dafnyをほんのちょっとだけいじってみたけど、なんか思ってたのとちょっと違う・・・＞＜
SPARK/Adaを比喩でロケット屋さんの言語に例えるなら、Dafnyは天文学者さん向けの言語っぽさ感＞＜；