Search: [computer-science/probabilistic] - Signets

Delete Set public Set private

455 shaares

455 shaares

Filters

Links per page

20 50 100

2 results tagged computer-science/probabilistic

Analysis of Bloom filters with Coq

programming/proof · computer-science/probabilistic

September 14, 2020 at 11:32:49 AM GMT+2 * · permalink

·

https://gopiandcode.uk/logs/log-bloomfilters-debunked.html

PRISM - Probabilistic Symbolic Model Checker

computer-science/probabilistic · tools · computer-science/verification

April 14, 2020 at 9:16:39 AM GMT+2 * · permalink

·

https://www.prismmodelchecker.org/

Filters

Links per page

20 50 100