More Fields

Filters

Profiles which have:

Recent Changes

Profiles with recent changes to:
Sign up to Download

1-3 of 3 results

  • www.certora.com
  • 1
  • 73
Certora Prover is a powerful tool that compares your smart contract bytecode against a rule detailing how you expect your code to behave. This process, known as formal verification, will check every possible contract state and contract path to..
Relevance: 3.180255
  • www.shatterproof.org
  • 9
  • 1
  • 117
Shatterproof is a national nonprofit organization dedicated to reversing the addiction crisis in the United States... Shatterproof is a nonprofit, tax-exempt charitable organization (Tax ID #45-4619712) under Section 501(c)(3) of the U.S. Internal..
Relevance: 2.4783192
  • heller.brandeis.edu
  • 144
  • 66
  • 183
The RCC is a learning community with partners from multiple sectors around the world who use relational coordination in their research and practice. Relational coordination is a mutually reinforcing process of communicating and relating for the..
Relevance: 1.6957066