Michael Meskes

Anya Pogosyants1
Thomas G Mcwilliams1
1Anya Pogosyants
1Thomas G Mcwilliams
Learn More
Evans was the primary designed and developer of LCLint. John Guttag and Jim Horning had the original idea for a static checking tool for detecting inconsistencies between LCL specifications and their C implementations. They provided valuable advice on its functionality and design and were instrumental in its development. Much of Splint's development has(More)
  • 1