发现CS里面有各种各样的Y-Chart，顾名思义就是长得像Y的图。这里总结一下，只为好玩。
Hardware Software Co-Design
Model Checking
可爱版
参考链接：
Model Check可爱版来自：A Specification Patterns System for Discrete Event Systems Analysis
« 上一篇
C++一些很基本的问题下一篇 »
Python拾遗（一）发现CS里面有各种各样的Y-Chart，顾名思义就是长得像Y的图。这里总结一下，只为好玩。
可爱版
参考链接：
Model Check可爱版来自：A Specification Patterns System for Discrete Event Systems Analysis
**粗体** _斜体_ [链接](http://example.com) `代码` - 列表 > 引用。你还可以使用@来通知其他用户。