[B! formal-methods][github] nabinnoのブックマーク

nabinno id:nabinno

formal-methodsとgithubに関するnabinnoのブックマーク (9)

GitHub - formal-land/coq-of-rust: Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
nabinno 2024/05/17
github

formal-land

coq

proof-assistant

formal-methods

software-testing

specification
リンク
GitHub - seL4/l4v: seL4 specification and proofs
nabinno 2020/03/29
github

l4v

isabelle

formal-methods

specification

software-testing
リンク
GitHub - HigherOrderCO/Kind: A modern proof language
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
nabinno 2019/12/30
github

formamility

typescript

formal-methods

programming-language
リンク
GitHub - rocq-prover/rocq: The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive developm
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
nabinno 2018/06/23
github

coq

ocaml

formal-methods
リンク
GitHub - mathink/Cat_on_Coq: Setoid-based Category Theory in Coq.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
nabinno 2018/04/09
github

cat_on_coq

coq

formal-methods

automated-theorem-proving

automated-reasoning

logical-reasoning

mathematical-proof

software-testing

ocaml
リンク
Lamport talk
nabinno 2018/04/08
github

leslie-lamport

tla+

model-checking

formal-methods

software-testing

specification
リンク
GitHub - diffblue/cbmc: C Bounded Model Checker
nabinno 2018/04/08
github

cbmc

c

model-checking

formal-methods

static-analysis

software-testing

specification
リンク
GitHub - fredlund/McErlang: The McErlang model checker for Erlang
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
nabinno 2018/04/08
github

mcerlang

erlang

model-checking

formal-methods

software-testing

specification
リンク
GitHub - Z3Prover/z3: The Z3 Theorem Prover
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
nabinno 2015/03/27
github

z3

satisfiability-modulo-theories

formal-methods

specification

software-testing
リンク
1

お知らせ

もっと読む

公式Twitter

@HatenaBookmark
リリース、障害情報などのサービスのお知らせ
@hatebu
最新の人気エントリーの配信

キーボードショートカット一覧

j次のブックマーク

k前のブックマーク

lあとで読む

eコメント一覧を開く

oページを開く

設定を変更しましたx