自动程序验证造句

例句与造句

1. 1969年以来又陆续出现很多使用归纳断言方法或者结构归纳法的自动程序验证系统，其中以70年代中期实现的波伊尔－莫尔程序验证系统最为著名。
2. 之所以能这样快地步步高升，关键就在于弗洛伊德通过勤奋学习和深入研究，在计算机科学的诸多领域：算法，程序设计语言的逻辑和语义，自动程序综合，自动程序验证，编译器的理论和实现等方面都作出创造性的贡献。
3. 用自动程序验证造句挺难的，这是一个万能造句的方法