Gradual Consistency Checking.

Rachid Zennou, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi

Browse the full CAV paper archive.