Searching for "Module Checking." – sorted by Relevance.
510 documents found, showing 1 through 10.
Next 10 →
-
Module Checking
- …Module Checking Orna Kupferman 1 and Moshe Y. Vardi 2 1 Bell Laboratories, 600 Mountain Avenue…
- Cited by 54 (9 self) – Add To MetaCart
-
Module checking revisited
- …Module Checking Revisited Orna Kupferman 1¡¢¡ and Moshe Y. Vardi 2¡£¡¢¡ 1 EECS Department, UC…
- Cited by 21 (6 self) – Add To MetaCart
-
Pushdown Module Checking
- …Pushdown Module Checking Laura Bozzelli 1 , Aniello Murano 1 , and Adriano Peron 1 Università di…
- Cited by 9 (9 self) – Add To MetaCart
-
Pushdown Module Checking with Imperfect Information ⋆
- …Pushdown Module Checking with Imperfect Information ⋆ Benjamin Aminof 1 , Aniello Murano 2…
- Cited by 3 (3 self) – Add To MetaCart
-
Program Complexity in Hierarchical Module Checking ⋆
- …Program Complexity in Hierarchical Module Checking ⋆ Aniello Murano 1 , Margherita Napoli 2…
- Add To MetaCart
-
Enriched μ–Calculus Pushdown Module Checking ⋆
- …Enriched μ–Calculus Pushdown Module Checking ⋆ Alessandro Ferrante 1 , Aniello Murano 2…
- Cited by 2 (2 self) – Add To MetaCart
-
µ-calculus Pushdown Module Checking with Imperfect State Information
- …µ-calculus Pushdown Module Checking with Imperfect State Information Benjamin Aminof 1 , Axel…
- Add To MetaCart
-
Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol
- …Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol…
- Add To MetaCart
-
Performance tuning of iterative algorithms in signal processing
- … approach, the designer can easily change type of used pipelined arithmetic modules and then check new…
- Cited by 1 (1 self) – Add To MetaCart
-
The relationship between grammatical encoding and decoding Gerard Kempen
- … links. These annota- tions enable both modules to check the quality of the output…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
