Bonn-Aachen International Center for Information Technology


News	Application for Master Programs	B-IT Universities Institute
About B-IT	B-IT Research School	B-IT Applied Science Institute

Lecture 2 - Decision procedures

In this lecture, we'll introduce several decision problems with regard to separation logic, and show how a solution to them is helpful for verifying heap-manipulating programs with more or less amount of automation. While discussing these problems, it will be interesting to consider expressiveness issues, and to look at the extension of Separation Logic to arbitrary graph, sometimes called a "Spatial Logic for Graphs". We'll try to give a complete overview of the results, in particular connections with (monadic) second-order logic, and explain which decision procedures are used in existing tools.

NEWS

Best Contribution Award for B-IT Student
[more]

Best Student Paper Award for B-IT Research School Student
[more]

B-IT Professor participates with "Silhouettes" at the EXPO 2010 Shanghai
Silhouettes: An Interactive Collaborative Gesture-Based Experience for the EXPO 2010 Shanghai [more]

Symposium in honour of Professor von zur Gathen 60th Birthday - "Professor von zur Gathen: A Modern Computer Algebraist"
International Symposium to celebrate Professor von zur Gathen's 60th Birthday [more]

B-IT Life Science Informatics Lecture Series 2010
[more]