scispace - formally typeset
Search or ask a question

How to implement BDD in Robot Framework? 

Binary decision diagram
Temporal logic
Fault tree analysis
Model checking
Graph (abstract data type)

Answers from top 9 papers

More filters
Papers (9)Insight
Open access•Journal Article•DOI
Fast bdd truncation method for efficient top event probability calculation
Woo Sik Jung, Sang Hoon Han, Joon-Eon Yang 
31 Dec 2008-Nuclear Engineering and Technology
23 Citations
The present method is the first successful application of a BDD truncation.
Proceedings Article•DOI
Advanced Unbounded Model Checking Based on AIGs, BDD Sweeping, And Quantifier Scheduling
Florian Pigorsch, Christoph Scholl, Stefan Disch 
12 Nov 2006
29 Citations
However, our approach is also able to produce competitive results for cases where BDD are known to perform well
Open access•Book Chapter•DOI
Improved BDD-Based Discrete Analysis of Timed Systems
Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong, Yan Liu 
27 Aug 2012
21 Citations
It has been shown that BDD-based techniques can be used to tackle the latter to some extent.
Journal Article•DOI
New results to bdd truncation method for efficient top event probability calculation
Yuchang Mo, Farong Zhong, Xiangfu Zhao, Quansheng Yang, Gang Cui 
25 Oct 2012-Nuclear Engineering and Technology
11 Citations
In this paper, it is first identified that Jung’s BDD truncation algorithm can be improved for a more practical use.
Proceedings Article•DOI
A simple component connection approach for fault tree conversion to binary decision diagram
R. Remenyte, John Andrews 
20 Apr 2006
21 Citations
Once the ordering is established several approaches can be used for the BDD generation.
Proceedings Article•DOI
Advanced Unbounded Model Checking Based on AIGs, BDD Sweeping, And Quantifier Scheduling
Florian Pigorsch, Christoph Scholl, Stefan Disch 
12 Nov 2006
29 Citations
For several examples, our method outperforms BDD based symbolic model checking by orders of magnitude.
Open access•Book Chapter•DOI
A Practical DPA Countermeasure with BDD Architecture
Toru Akishita, Masanobu Katagi, Yoshikazu Miyato, Asami Mizuno, Kyoji Shibutani 
08 Sep 2008
18 Citations
DP-BDD is suited to implementation of S-boxes.
Open access•Proceedings Article•DOI
A Study of the Characteristics of Behaviour Driven Development
Carlos Solis, Xiaofeng Wang 
30 Aug 2011
132 Citations
Our study can provide a basis for understanding BDD, as well as for extending the exisiting BDD toolkits or developing new ones.
Open access•Book Chapter•DOI
SMT-based stimuli generation in the SystemC Verification library
Robert Wille, Daniel Grosse, Finn Haedicke, Rolf Drechsler 
01 Sep 2009
33 Citations
Experiments demonstrate the advantage of the proposed approach and the developed strategies in comparison to the original BDD-based method.

Related Questions

What are some good books on BDD?4 answersThere are several good books on Binary Decision Diagrams (BDDs). One notable book is "Symbolic model checking based on Binary Decision Diagrams (BDDs)" by Chaki and Gurfinkel. Another recommended book is "Reduced Ordered Binary Decision Diagrams" by Ebendt, Fey, and Drechsler. These books provide comprehensive coverage of BDDs and their applications in formal verification. They discuss the key concepts, techniques, and successful practical verification methods using BDDs. Additionally, "Binary Decision Diagrams (BDDs) and their application in Formal Hardware Verification" by Cabodi and Murcianois a valuable resource that introduces BDDs as a representation formalism for Boolean functions and describes their efficiency and application in formal verification. Overall, these books offer in-depth knowledge and insights into BDDs and their practical use in various domains.
How do I launch robot framework?9 answers
How do I open the Robot Framework command prompt?5 answers
How to use Autoit in Robot Framework?8 answers
What type of framework is robot framework?8 answers
Which language does Robot Framework use?7 answers

See what other people are reading

What is meshing?
5 answers
What is meshing?
5 answers
Why traditional security system is not reliable?
5 answers
Why traditional security system is not reliable?
5 answers
Theory and the author, connected to the topic of chosen strand for preferred courses?
5 answers
The connection between theory and the author in the context of preferred courses can be explored through personalized academic search methods. By utilizing author-topic models like the ACTC Model, which incorporates subjects of conferences and latent mappings between subjects and topics, a deeper understanding of the relationship between authors, topics, and conferences can be achieved. Additionally, unsupervised learning techniques can extract valuable information about authors and topics from large text collections, aiding in the interpretation of results and ranking of authors and topics. Furthermore, predicting topic adoption for an author within a social academic network can be enhanced by considering the influence propagated towards the author as a crucial factor. Integrating these approaches can enrich the study of theories and authors within the context of chosen academic courses.Differentiate the coefficient of wholeness from the coefficient of hulling?
5 answers
The coefficient of wholeness and the coefficient of hulling represent distinct concepts. The coefficient of wholeness, as proposed by Bin Jiang, is a measure of the degree of life or wholeness within a system, where individual centers are evaluated based on how many other high-degree-of-life centers point to them. This metric, calculated using PageRank scores, reflects the overall wholeness of a complex system. On the other hand, the coefficient of hulling is not explicitly discussed in the provided contexts. However, based on the descriptions of wholeness as a global structure emerging from interconnected centers, hulling could potentially refer to the process of encapsulating or enclosing these centers within a larger whole, emphasizing the relationship between the parts and the whole.What are the medical standards used in medical annotation systems?
5 answers
Medical annotation systems utilize various standards to ensure quality and consistency in annotating medical data. These standards include the establishment of systematic text annotation standards to detect social support in clinical notes, the classification of medical annotation tools based on generic criteria and functionalities offered, the creation of an annotation scheme and specification for named entities and relations in medical knowledge graphs, and the development of tools to support humans in annotating biomedical texts efficiently. These standards play a crucial role in enhancing the accuracy, interoperability, and usability of medical annotation systems, ultimately benefiting healthcare professionals in analyzing patient records, collaborating, and sharing knowledge effectively.How to achieve mental stability?
5 answers
To achieve mental stability, individuals must focus on self-regulation, coping strategies, and emotional management. Mental stability is crucial in various aspects of life, including sports performance, academic success, and overall well-being. It involves resisting stressful factors through self-regulation, maintaining performance, and ensuring overall health. Strategies like managing emotional dynamics, adapting parameters, and reducing differences between emotional and temporal states can aid in stabilizing mental well-being. Awareness of factors affecting mental health, such as financial constraints, personal issues, and fear of failure, is essential for individuals to address and improve their mental stability. By understanding the importance of mental well-being, individuals can enhance their psychological resilience and lead a more balanced and stable life.How have Advanced Persistent Threats evolved in terms of tactics, techniques, and procedures (TTPs) over the past decade?
5 answers
Advanced Persistent Threats (APTs) have evolved significantly in terms of tactics, techniques, and procedures (TTPs) over the past decade. Initially focused on espionage, APTs have expanded to include financial gain, disruption, and hacktivism. These attacks are slow, sophisticated, and stealthy, often leveraging zero-day exploits and common tools to evade detection. A multi-stage detection framework called "APT_DASAC" has been proposed to detect various TTPs used in APT attacks, achieving a detection capability of 86.36% with minimal loss. Adversaries now employ evasive cyber techniques within Advance Persistent Threat vectors to breach networks of classified and large organizations. The need for intelligent detection systems has become crucial to increase the discovery and prevention of these evolving APT attacks.What are the trajectories of human thought in the semantic space?
5 answers
Human thought trajectories in the semantic space involve transitions influenced by inner speech, concept formation, and dialogical relationships. Semantic trajectories, typically associated with human mobility, can also be applied to thought processes, where activities are labeled with semantic information. The complexity of thought transitions spans from past to future and lower to higher levels of consciousness, shaping a unique and historical phenomenon. Models integrating deep learning aim to analyze semantic trajectory traces, predicting trends and enhancing machine understanding in various contexts. Semantic trajectories in urban environments are modeled to represent continuous mobility patterns, incorporating semantic information for improved data manipulation and spatial representation. These models aim to support semantic querying for a better understanding of human mobilities in diverse spaces.How does the study of graph theory contribute to the development of analytical and problem-solving skills in mathematics?
5 answers
The study of graph theory plays a significant role in enhancing analytical and problem-solving skills in mathematics. By incorporating graph theory into mathematics instruction, students can develop their mathematical thinking processes effectively. Graph theory methods provide a powerful tool to analyze relationships among various anomalies, contributing to identifying underlying etiopathogeneses and improving coding systems. Implementing graph theory in educational settings through workshops and creative sessions has been shown to motivate students towards mathematics, enabling the emergence and reinforcement of problem-solving strategies. Additionally, the development of a general analytical model based on graph theory, known as the Bag of Solution (BoS), aids students in understanding and solving mathematical problems, offering a common algorithmic basis for problem-solving and fostering a new understanding of the problem-solving process.