Searching for "Model Checking at IBM." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
RuleBase: Model Checking at IBM
- …RuleBase: Model Checking at IBM I. Beer, S. Ben-David, C. Eisner, D. Geist, L. Gluhovsky, T…
- Cited by 17 (7 self) – Add To MetaCart
-
Model checking the IBM Gigahertz Processor: An abstraction algorithm for high-performance netlists
- …Model Checking the IBM Gigahertz Processor: An Abstraction Algorithm for High-Performance Netlists…
- Cited by 12 (2 self) – Add To MetaCart
-
On-The-Fly Model Checking of RCTL Formulas
- …On-The-Fly Model Checking of RCTL Formulas Ilan Beer, Shoham Ben-David, Avner Landver IBM Science…
- Cited by 34 (13 self) – Add To MetaCart
-
An abstraction algorithm for the verification of level-sensitive latch-based netlists
- … implemented in the model checker RuleBase, and used to enhance the model checking of IBM’s Gigahertz Processor…
- Cited by 6 (5 self) – Add To MetaCart
-
Software Technology Maturation Study: Model Checking Techniques and Tools
- … the company for hardware verification using model checking [IBM Formal Methods Group] • Standards (note…
- Cited by 1 (0 self) – Add To MetaCart
-
Automatic Structural Abstraction Techniques for Enhanced Verification
- … several months I began model checking at IBM using RuleBase. Furthermore, my term projects in Adnan…
- Cited by 3 (3 self) – Add To MetaCart
Showing 1 through 6.
