All coursework should be submitted via Learn. License All rights reserved The University of Edinburgh Book traversal links for FV: Assessment FV: Practical Exercise 4: Verifying C with CBMC Up