看看C,C对可以在代码中使用的形式方法(frama-c,VCC,verifast)有很好的支持.就我所知,C++似乎没有任何可比性.
有哪些正式方法可用于推理用C++编写的安全关键软件？
c c++ formal-methods safety-critical
c ×1
c++ ×1
formal-methods ×1
safety-critical ×1