Ken McMillan

Professor

University of Texas at Austin · United States

Formal MethodsProgramming Languages and Compilers

简介

Ken McMillan's primary research area is formal methods. He has worked on topics such as symbolic model checking, Petri net unfoldings, automated abstraction, compositional methods, Craig interpolation, deductive verification and specification-based testing.

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。