2 search results for "tag:"keyword:simulation""

Showing 1 - 2

coq-freesim

No documentation

Stuttering For Free

keyword:simulation keyword:coinduction keyword:dual non-determinism keyword:up to techniques keyword:companion keyword:Interaction Trees keyword:CompCert logpath:FreeSim

Minki Cho, Youngju Song, Dongjae Lee

1.0.0

BSD-3-Clause

Used by 0 other packages

19 Sep 2023
coq-paco

No documentation

Coq library implementing parameterized coinduction

date:2024-12-31 category:Computer Science/Programming Languages/Formal Definitions and Theory category:Mathematics/Logic keyword:co-induction keyword:simulation keyword:parameterized greatest fixed point logpath:Paco

Chung-Kil Hur <gil.hur@sf.snu.ac.kr> Georg Neis <neis@mpi-sws.org> Derek Dreyer <dreyer@mpi-sws.org> Viktor Vafeiadis <viktor@mpi-sws.org> Minki Cho <minki.cho@sf.snu.ac.kr>

4.2.2

BSD-3-Clause

Used by 3 other packages

31 Dec 2024