pl/frap
1
0
Fork 0
mirror of https://github.com/achlipala/frap.git synced 2024-11-10 00:07:51 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
75 commits 1 branch 0 tags 1.6 MiB
Commit graph

11 commits

Author SHA1 Message Date
Adam Chlipala
fd45f9d71a Add ModelCheck 2016-02-21 12:16:31 -05:00
Adam Chlipala
211ede66a0 ModelChecking chapter done 2016-02-21 11:26:24 -05:00
Adam Chlipala
2b6ea9913c Comments for ModelChecking 2016-02-21 09:07:14 -05:00
Adam Chlipala
2c601b04a0 Fixed to work in Coq 8.4, too 2016-02-18 17:51:58 -05:00
Adam Chlipala
d04037a84f ModelChecking: an example of modularity 2016-02-16 11:17:50 -05:00
Adam Chlipala
e3bb90c4a1 ModelChecking: another abstraction example 2016-02-16 08:03:25 -05:00
Adam Chlipala
7aa8e890cf ModelChecking: an example of abstraction 2016-02-15 21:20:54 -05:00
Adam Chlipala
c129d8447e Some heftier ModelChecking examples 2016-02-14 19:23:26 -05:00
Adam Chlipala
eb50f67c2a Smarter ModelChecking with a worklist 2016-02-14 17:55:59 -05:00
Adam Chlipala
4371d08696 Set simplification for ModelChecking 2016-02-14 17:33:46 -05:00
Adam Chlipala
c88ae6d484 Start ModelChecking code: checked [factorial_sys] 2016-02-14 17:13:25 -05:00