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.

• CV06
• Homepages:
  • Newton Institute
  • MPI Informatik
• Organizers:
  • Prof. Moshe Vardi
  • Prof. Andreas Podelski
• Invited Participants
• Application Form
• Search