max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Dennis Dams (Lucent Technologies), Feasibility Checking in Static Analysis

We present the Orion analyzer being developed at Bell Labs, focusing on the use of decision procedures to suppress false alarm.




Imprint-Dataprotection