Searching for "Abstraction Refinement." – sorted by Relevance.
843 documents found, showing 1 through 10.
Next 10 →
-
Comparing abstraction refinement algorithms
- …://www.elsevier.nl/locate/entcs/volume89.html 12 pages Comparing Abstraction Refinement Algorithms Dennis Dams Bell Labs, Lucent…
- Cited by 2 (0 self) – Add To MetaCart
-
Binary Relations for Abstraction and Refinement
- …Binary Relations for Abstraction and Refinement David A. Schmidt 1 Computing and Information…
- Cited by 5 (1 self) – Add To MetaCart
-
Abstraction and Refinement in Configuration Structures
- … fr Informatik Dieser Bericht ist herausgegeben vom Abstraction and Refinement in Configuration…
- Cited by 1 (0 self) – Add To MetaCart
-
Abstraction and refinement in protocol derivation
- …Abstraction and Refinement in Protocol Derivation Anupam Datta Ante Derek John C. Mitchell Dusko…
- Cited by 10 (5 self) – Add To MetaCart
-
Abstraction Refinement for Termination
- …Abstraction Refinement for Termination Byron Cook 1 , Andreas Podelski 2 , and Andrey Rybalchenko…
- Cited by 31 (10 self) – Add To MetaCart
-
Abstraction and Refinement of Features
- …Abstraction and refinement of features Dominique Cansell 1,2 and Dominique Mery 1,3 1 LORIA UMR…
- Cited by 1 (0 self) – Add To MetaCart
-
Abstracting and Refining Authorization in SQL
- …Abstracting and Refining Authorization in SQL Arnon Rosenthal, Edward Sciore 1 Abstract. The SQL…
- Cited by 3 (0 self) – Add To MetaCart
-
Counterexample-guided Abstraction Refinement
- …Counterexample-guided Abstraction Refinement Edmund Clarke ¡ , Orna Grumberg ¢ , Somesh Jha…
- Cited by 324 (45 self) – Add To MetaCart
-
Abstraction Refinement for Bounded Model Checking
- …Abstraction Refinement for Bounded Model Checking Anubhav Gupta 1 Ofer Strichman 2 1 School…
- Cited by 6 (0 self) – Add To MetaCart
-
Component-Based Abstraction and Refinement ⋆
- …Component-Based Abstraction and Refinement ⋆ Juncao Li 1 , Xiuli Sun 2 , Fei Xie 1 , and Xiaoyu…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
