Paper Search Console

Home Search Page About Contact

Journal Title

Title of Journal: J Comput Sci Technol

Search In Journal Title:

Abbravation: Journal of Computer Science and Technology

Search In Journal Abbravation:

Publisher

Springer US

Search In Publisher:

DOI

10.1016/0020-7403(74)90090-3

Search In DOI:

ISSN

1860-4749

Search In ISSN:
Search In Title Of Papers:

An Abstract Reachability Approach by Combining HOL

Authors: Sa’ed Abed Otmane Ait Mohamed Ghiath AlSammane
Publish Date: 2009/03/01
Volume: 24, Issue: 1, Pages: 76-95
PDF Link

Abstract

In this paper we provide a necessary infrastructure to define an abstract state exploration in the HOL theorem prover Our infrastructure is based on a deep embedding of the Multiway Decision Graphs MDGs theory in HOL MDGs generalize Reduced Ordered Binary Decision Diagrams ROBDDs to represent and manipulate a subset of firstorder logic formulae The MDGs embedding is based on the logical formulation of an MDG as Directed Formulae DF Then the MDGs operations are defined and the correctness proof of each operation is provided The MDG reachability algorithm is then defined as a conversion that uses our MDG theory within HOL Finally a set of experimentations over benchmark circuits has been conducted to ensure the applicability and to measure the performance of our approach

Keywords:

References

.
Search In Abstract Of Papers:
Other Papers In This Journal:
  1. Review Authorship Attribution in a Similarity Space
  2. A Distributed Mechanism for Handling of Adaptive/Intelligent Selfish Misbehaviour at MAC Layer in Mobile Ad Hoc Networks
  3. View-Aware Image Object Compositing and Synthesis from Multiple Sources
  4. Continuous Outlier Monitoring on Uncertain Data Streams
  5. ROPAS: Cross-Layer Cognitive Architecture for Mobile UWB Networks
  6. Stroke Style Analysis for Painterly Rendering
  7. Dominant Skyline Query Processing over Multiple Time Series
  8. Optimal Feature Extraction Using Greedy Approach for Random Image Components and Subspace Approach in Face Recognition
  9. Multilevel Threshold Based Image Denoising in Curvelet Domain
  10. Approximation Algorithm Based on Chain Implication for Constrained Minimum Vertex Covers in Bipartite Graphs
  11. A Heuristic Clustering Algorithm for Mining Communities in Signed Networks
  12. Design-Rule-Aware Congestion Model with Explicit Modeling of Vias and Local Pin Access Paths
  13. A Parallel Interval Computation Model for Global Optimization with Automatic Load Balancing
  14. t -Private and t -Secure Auctions
  15. GPP-Based Soft Base Station Designing and Optimization
  16. On Unsupervised Training of Multi-Class Regularized Least-Squares Classifiers
  17. Combined Cloud: A Mixture of Voluntary Cloud and Reserved Instance Marketplace
  18. A Rigorous Architectural Approach to Adaptive Software Engineering
  19. Computational Cellular Dynamics Based on the Chemical Master Equation: A Challenge for Understanding Complexity
Search Result: