Personal tools

Decision Procedures

From PUMA Graduiertenkolleg

Jump to: navigation, search

Recently, decision procedures have been identified as the key glue of approaches for combining different techniques of program and model analysis. In this respect, we consider, e.g., the following aspects.