Comment by rf15

2 months ago

Isn't formal verification a "just write it twice" approach with different languages? (and different logical constraints on the way you write the languages)

0 comments