User contributions for Murray

From Murray Wiki
Jump to navigationJump to search
Search for contributionsExpandCollapse
⧼contribs-top⧽
⧼contribs-date⧽
(newest | oldest) View ( | ) (20 | 50 | 100 | 250 | 500)

7 January 2023

  • 17:0717:07, 7 January 2023 diff hist +1,507 N Reasoning over Test Specifications using Assume-Guarantee ContractsCreated page with "{{Paper |Title=Reasoning over Test Specifications using Assume-Guarantee Contracts |Authors=Apurva Badithela, Josefine B. Graebener, Inigo Incer, and Richard M. Murray |Source=Submitted, NASA Formal Methods (NFM), 2023 |Abstract=We establish a framework to reason about test campaigns described formally. First, we introduce the notion of a test structure — an object that carries i) the formal specifications of the system under test, and ii) the test objective, which is..."

6 January 2023

4 January 2023

2 January 2023

1 January 2023

30 December 2022

29 December 2022

27 December 2022

21 December 2022

18 December 2022

(newest | oldest) View ( | ) (20 | 50 | 100 | 250 | 500)