Community Profile

photo

Pat Canny

Last seen: 2일 전 2018년부터 활동

통계

All
  • Knowledgeable Level 4
  • 5-Star Galaxy Level 3
  • 6 Month Streak
  • GitHub Submissions Level 3
  • Personal Best Downloads Level 2
  • First Review
  • First Submission
  • Revival Level 2
  • First Answer

배지 보기

Content Feed

보기 기준

제출됨


Formal Functional Equivalence
This project provides a set of utilities for performing "formal functional equivalence," which is a static analysis-based techni...

11개월 전 | 다운로드 수: 2 |

Thumbnail

제출됨


Requirements-Based Testing Workflow Example
This example workflow shows you how to get started with systematic, requirements-based testing using Simulink.

대략 1년 전 | 다운로드 수: 16 |

Thumbnail

제출됨


Requirements and Advanced Model Checks Getting Started
This example shows how to get started with MathWorks' Model Verification & Validation tools

1년 초과 전 | 다운로드 수: 6 |

Thumbnail