search

openETCS / validation

WP4: Validation and verification strategy
8 stars 22 forks source link

describe contract and loop invariants of Bitwalker_Peek #203

Closed jensgerlach closed 10 years ago