Newest stories submitted by ToKi.

  1. 13
    A Manifesto for Applicable Formal Methods ☶ pdf formalmethods arxiv.org
    ToKi avatar via ToKi 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  2. 12
    Why AI is Harder Than We Think ☶ ai cogsci arxiv.org
    ToKi avatar via ToKi 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  3. 5
    The Fumble Programmer (2018) ☶ pdf formalmethods practices proteancode.com
    ToKi avatar via ToKi 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  4. 6
    A Domain-Specific Language for Verifying Software Requirement Constraints pdf formalmethods arxiv.org
    ToKi avatar via ToKi 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  5. 7
    CAST Handbook: How to Learn More from Incidents and Accidents pdf practices psas.scripts.mit.edu
    ToKi avatar via ToKi 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  6. 22
    Flawed analysis, failed oversight: How Boeing, FAA certified the suspect 737 MAX flight control system practices programming seattletimes.com
    ToKi avatar via ToKi 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  7. 3
    XSTAMPP (eXtensible STAMP Platform) ☶ practices release github.com/se-stuttgart
    ToKi avatar via ToKi 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  8. 13
    STPA Handbook - Leveson, Thomas pdf practices psas.scripts.mit.edu
    ToKi avatar via ToKi 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  9. 3
    Ten Diverse Formal Models for a CBTC Automatic Train Supervision System ☶ pdf formalmethods arxiv.org
    ToKi avatar via ToKi 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments