166
click to vote
ICDT
2009
ACM
15 years 20 days ago
2009
ACM
We describe a novel approach to verification of software systems centered around an underlying database. Instead of applying general-purpose techniques with only partial guarantee...