https://inferara.com 2026-03-07T04:34:09.695Z weekly 1 https://inferara.com/blog 2026-03-07T04:34:09.695Z daily 0.9 https://inferara.com/papers 2026-03-07T04:34:09.695Z weekly 0.8 https://inferara.com/tags 2026-03-07T04:34:09.695Z weekly 0.6 https://inferara.com/contact 2026-03-07T04:34:09.695Z monthly 0.5 https://inferara.com/services 2026-03-07T04:34:09.695Z monthly 0.7 https://inferara.com/about 2026-03-07T04:34:09.695Z monthly 0.6 https://inferara.com/blog/new-approach-to-formal-verification-smart-contracts 2026-03-07T04:34:09.932Z monthly 0.7 https://inferara.com/blog/monolithic-architecture-vs-fv 2026-03-07T04:34:09.932Z monthly 0.7 https://inferara.com/blog/pocket-exchange 2026-03-07T04:34:09.932Z monthly 0.7 https://inferara.com/blog/preparing-polkadot-pallet-balances-for-formal-verification 2026-03-07T04:34:09.932Z monthly 0.7 https://inferara.com/blog/fhe-intro 2026-03-07T04:34:09.932Z monthly 0.7 https://inferara.com/blog/rust-tagless-final-gadt 2026-03-07T04:34:09.932Z monthly 0.7 https://inferara.com/blog/game-theoretical-assessment-dex-protocols 2026-03-07T04:34:09.932Z monthly 0.7 https://inferara.com/blog/abstract-methods-with-auto-inferred-arguments 2026-03-07T04:34:09.932Z monthly 0.7 https://inferara.com/blog/embedded-c-libraries 2026-03-07T04:34:09.932Z monthly 0.7 https://inferara.com/blog/simplifying-continuation-passing-style-in-rust 2026-03-07T04:34:09.932Z monthly 0.7 https://inferara.com/blog/arena-based-allocation-in-compilers 2026-03-07T04:34:09.932Z monthly 0.7 https://inferara.com/blog/c-runtime 2026-03-07T04:34:09.932Z monthly 0.7 https://inferara.com/blog/introduction-into-logic-in-computer-science 2026-03-07T04:34:09.932Z monthly 0.7 https://inferara.com/blog/commit-to-marriage-with-tla-plus-2 2026-03-07T04:34:09.932Z monthly 0.7 https://inferara.com/blog/do-not-die-hard-with-tla-plus-1 2026-03-07T04:34:09.932Z monthly 0.7 https://inferara.com/blog/small-and-big-step-semantics 2026-03-07T04:34:09.932Z monthly 0.7 https://inferara.com/blog/ltl-ctl-for-smart-contract-security 2026-03-07T04:34:09.932Z monthly 0.7 https://inferara.com/blog/why-use-formal-specification 2026-03-07T04:34:09.932Z monthly 0.7 https://inferara.com/papers/specifying-algorithms-using-non-deterministic-computations 2026-03-07T04:34:09.967Z monthly 0.7 https://inferara.com/papers/deductive-verification-as-alternative-to-push-button-technologies 2026-03-07T04:34:09.967Z monthly 0.7 https://inferara.com/papers/verification-driven-development 2026-03-07T04:34:09.967Z monthly 0.7 https://inferara.com/papers/program-verification-background-and-notation 2026-03-07T04:34:09.967Z monthly 0.7 https://inferara.com/tags/program-verification 2026-03-07T04:34:10.142Z weekly 0.5 https://inferara.com/tags/rust 2026-03-07T04:34:10.142Z weekly 0.5 https://inferara.com/tags/algorithms 2026-03-07T04:34:10.142Z weekly 0.5 https://inferara.com/tags/formal-verification 2026-03-07T04:34:10.142Z weekly 0.5 https://inferara.com/tags/formal-specification 2026-03-07T04:34:10.142Z weekly 0.5 https://inferara.com/tags/mathematics 2026-03-07T04:34:10.142Z weekly 0.5 https://inferara.com/tags/type-level-programming 2026-03-07T04:34:10.142Z weekly 0.5 https://inferara.com/tags/compilers 2026-03-07T04:34:10.142Z weekly 0.5 https://inferara.com/tags/temporal-logic 2026-03-07T04:34:10.142Z weekly 0.5 https://inferara.com/tags/model-checking 2026-03-07T04:34:10.142Z weekly 0.5 https://inferara.com/tags/polkadot 2026-03-07T04:34:10.142Z weekly 0.5 https://inferara.com/tags/defi 2026-03-07T04:34:10.142Z weekly 0.5 https://inferara.com/tags/smart-contracts 2026-03-07T04:34:10.142Z weekly 0.5 https://inferara.com/tags/generic-programming 2026-03-07T04:34:10.142Z weekly 0.5 https://inferara.com/tags/clang 2026-03-07T04:34:10.142Z weekly 0.5 https://inferara.com/tags/foundations 2026-03-07T04:34:10.142Z weekly 0.5 https://inferara.com/tags/tla 2026-03-07T04:34:10.142Z weekly 0.5 https://inferara.com/tags/verification-driven-development 2026-03-07T04:34:10.142Z weekly 0.5 https://inferara.com/tags/architecture 2026-03-07T04:34:10.142Z weekly 0.5 https://inferara.com/tags/stellar 2026-03-07T04:34:10.142Z weekly 0.5 https://inferara.com/tags/arbitrum 2026-03-07T04:34:10.142Z weekly 0.5 https://inferara.com/tags/uniswap 2026-03-07T04:34:10.142Z weekly 0.5 https://inferara.com/tags/1inch 2026-03-07T04:34:10.142Z weekly 0.5 https://inferara.com/tags/market-making 2026-03-07T04:34:10.142Z weekly 0.5 https://inferara.com/tags/automated-market-maker 2026-03-07T04:34:10.142Z weekly 0.5 https://inferara.com/tags/amm 2026-03-07T04:34:10.142Z weekly 0.5 https://inferara.com/tags/liquidity-provision 2026-03-07T04:34:10.142Z weekly 0.5 https://inferara.com/tags/crypto-trading-bots 2026-03-07T04:34:10.142Z weekly 0.5 https://inferara.com/tags/wasm 2026-03-07T04:34:10.142Z weekly 0.5 https://inferara.com/tags/blockchain 2026-03-07T04:34:10.142Z weekly 0.5 https://inferara.com/tags/cryptography 2026-03-07T04:34:10.142Z weekly 0.5 https://inferara.com/tags/fully-homomorphic-encryption 2026-03-07T04:34:10.142Z weekly 0.5 https://inferara.com/tags/zero-cost-abstractions 2026-03-07T04:34:10.142Z weekly 0.5 https://inferara.com/tags/tagless-final 2026-03-07T04:34:10.142Z weekly 0.5 https://inferara.com/tags/gadt 2026-03-07T04:34:10.142Z weekly 0.5 https://inferara.com/tags/dex 2026-03-07T04:34:10.142Z weekly 0.5 https://inferara.com/tags/game-theory 2026-03-07T04:34:10.142Z weekly 0.5 https://inferara.com/tags/security 2026-03-07T04:34:10.142Z weekly 0.5 https://inferara.com/tags/embedded 2026-03-07T04:34:10.142Z weekly 0.5 https://inferara.com/tags/libc 2026-03-07T04:34:10.142Z weekly 0.5 https://inferara.com/tags/optimization 2026-03-07T04:34:10.142Z weekly 0.5 https://inferara.com/tags/functional-programming 2026-03-07T04:34:10.142Z weekly 0.5 https://inferara.com/tags/propositional-logic 2026-03-07T04:34:10.142Z weekly 0.5 https://inferara.com/tags/formal-methods 2026-03-07T04:34:10.142Z weekly 0.5 https://inferara.com/tags/formal-semantics 2026-03-07T04:34:10.142Z weekly 0.5 https://inferara.com/tags/ltl 2026-03-07T04:34:10.142Z weekly 0.5 https://inferara.com/tags/ctl 2026-03-07T04:34:10.142Z weekly 0.5 https://inferara.com/tags/inference 2026-03-07T04:34:10.142Z weekly 0.5 https://inferara.com/tags/smt 2026-03-07T04:34:10.142Z weekly 0.5 https://inferara.com/tags/ 2026-03-07T04:34:10.142Z weekly 0.5 https://inferara.com/tags/-gadt 2026-03-07T04:34:10.142Z weekly 0.5