Skip to content

Verify safety of StrSearcher (Challenge 21) - #538

Open
jrey8343 wants to merge 11 commits into
model-checking:mainfrom
jrey8343:challenge-21-str-searcher
Open

Verify safety of StrSearcher (Challenge 21)#538
jrey8343 wants to merge 11 commits into
model-checking:mainfrom
jrey8343:challenge-21-str-searcher

Strengthen Ch21 harnesses: inductive invariant proofs with symbolic i…

c0258c9
Select commit
Loading
Failed to load commit list.
Sign in for the full log view