LARA

LARA

LARA: Lab for Automated Reasoning and Analysis

Laboratory for Automated Reasoning and Analysis (LARA), led by Viktor Kuncak, develops precise automated techniques for reasoning about computer systems. Among the uses of these techniques is improving software reliability and programmer productivity.