Reasoning over Test Specifications using Assume-Guarantee Contracts: Revision history

From Murray Wiki
Jump to navigationJump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

7 January 2023

  • curprev 17:1017:10, 7 January 2023‎ Murray talk contribs‎ m 1,513 bytes +1‎ No edit summary
  • curprev 17:1017:10, 7 January 2023‎ Murray talk contribs‎ 1,512 bytes +5‎ No edit summary
  • curprev 17:0717:07, 7 January 2023‎ Murray talk contribs‎ 1,507 bytes +1,507‎ Created 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..."
Retrieved from "https://murray.cds.caltech.edu/Reasoning_over_Test_Specifications_using_Assume-Guarantee_Contracts"