Completed
Program Verification • Compromise automatic program verification
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Programming Languages - The Fundamental Tools of the Computer Age
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Programming Languages
- 3 Program Validation
- 4 Software Testing
- 5 Program Verification • Compromise automatic program verification
- 6 Program Analysis
- 7 Interval Analysis Step By Step
- 8 Infinite Loop?
- 9 Wrapped Intervals
- 10 Wrapped Unsigned Intervals
- 11 Efficient Relational Analysis . Traditional approach: maintain an xn matrix of upper bounds
- 12 Representing a Program . Compilers, analysers, and verifiers need intermediate
- 13 Programming Language Design
- 14 Imperative vs. Declarative Languages
