Symbolic model checking of declarative relational models.

Felix Sheng-Ho Chang, Daniel Jackson

Browse the full ICSE paper archive.