Search: [computer-science/probabilistic] - Signets

Delete Set public Set private

306 shaares

306 shaares

Links per page

20 50 100

2 results tagged computer-science/probabilistic

Analysis of Bloom filters with Coq

computer-science/probabilistic · maths/logic/proof

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 · computer-science/verification · tools

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

·

https://www.prismmodelchecker.org/

Links per page

20 50 100