K-Framework 3.0 发布，可执行的语义框架

K-Framework 3.0 使用 XStream 来序列化对象到 XML 文件，允许 BLOBs 和 列表进行透明的转换，域对象支持多个 PU，重新设计了窗口的生命周期等。

\||||||||||||||||||/
                   ---Welcome to Maude---
                     /||||||||||||||||||\
            Maude2.4 built:Nov6200816:42:13
            Copyright1997-2008 SRI International
                   TueApr1309:40:302010
Maude>