Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement (Q5280793)
From MaRDI portal
scientific article; zbMATH DE number 6753337
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement |
scientific article; zbMATH DE number 6753337 |
Statements
Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement (English)
0 references
27 July 2017
0 references
