More Fields

Filters

Profiles which have:

Recent Changes

Profiles with recent changes to:
Sign up to Download

1-3 of 3 results

  • deepspec.org
  • 45
The DeepSpec consortium developed new science, technology, and tools--for specifying what programs should do, for building programs that conform to those specifications, and for verifying that programs do behave exactly as specified. We focused on..
Relevance: 5.800077
  • flint.cs.yale.edu
  • 2
  • 42
Clean-slate design with end-to-end guarantees on extensibility, security, and resilience. Without Zero-Day Kernel Vulnerabilities... Divides a complex system into multiple certified abstraction layers, which are deep specifications of their..
Relevance: 5.7573843
  • www.sandsanderson.com
  • 76
  • 76
  • 86
Sands Anderson is a midsize law firm that supports the complete legal needs of its clients. As a dependable legal partner, we help you understand and anticipate what comes next so you can make informed decisions and move forward with complete..
Relevance: 2.363265