突然看到一个关于可达性的问题--使用可达性分析对网络物理系统进行形式验证([https://tumcps.github.io/CORA/](https://tumcps.github.io/CORA/)
),就想起了小时候奥赛培训班的这个一笔画的问题。
突然看到一个关于可达性的问题--使用可达性分析对网络物理系统进行形式验证([https://tumcps.github.io/CORA/](https://tumcps.github.io/CORA/)
),就想起了小时候奥赛培训班的这个一笔画的问题。