#

assume-guarantee-reasoning

Here is 1 public repository matching this topic...

felix-e-h-p / ag-reasoning-l-star

Implementation of the L* (L Star) based Assume Guarantee Reasoning framework - dynamic DFA input as specification

verification formal-verification active-learning automata-learning lstar formal-verification-methods assume-guarantee-reasoning

Updated Jul 26, 2024
Python

Improve this page

Add a description, image, and links to the assume-guarantee-reasoning topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the assume-guarantee-reasoning topic, visit your repo's landing page and select "manage topics."