CN103886377A - inspection method based on BDD - Google Patents
inspection method based on BDD Download PDFInfo
- Publication number
- CN103886377A CN103886377A CN201410060723.0A CN201410060723A CN103886377A CN 103886377 A CN103886377 A CN 103886377A CN 201410060723 A CN201410060723 A CN 201410060723A CN 103886377 A CN103886377 A CN 103886377A
- Authority
- CN
- China
- Prior art keywords
- bdd
- rule
- inspection method
- inspection
- convert
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Landscapes
- Devices For Executing Special Programs (AREA)
Abstract
Description
Claims (3)
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201410060723.0A CN103886377A (en) | 2014-02-21 | 2014-02-21 | inspection method based on BDD |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201410060723.0A CN103886377A (en) | 2014-02-21 | 2014-02-21 | inspection method based on BDD |
Publications (1)
Publication Number | Publication Date |
---|---|
CN103886377A true CN103886377A (en) | 2014-06-25 |
Family
ID=50955259
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201410060723.0A Pending CN103886377A (en) | 2014-02-21 | 2014-02-21 | inspection method based on BDD |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN103886377A (en) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN106529676A (en) * | 2016-10-25 | 2017-03-22 | 胡煜州 | Deductive lattice and reasoning method based on deductive lattice |
Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20030115559A1 (en) * | 2001-12-13 | 2003-06-19 | International Business Machines Corporation | Hardware validation through binary decision diagrams including functions and equalities |
CN101206816A (en) * | 2006-12-15 | 2008-06-25 | 索尼株式会社 | Operation processing apparatus, operation processing control method, and computer program |
-
2014
- 2014-02-21 CN CN201410060723.0A patent/CN103886377A/en active Pending
Patent Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20030115559A1 (en) * | 2001-12-13 | 2003-06-19 | International Business Machines Corporation | Hardware validation through binary decision diagrams including functions and equalities |
CN101206816A (en) * | 2006-12-15 | 2008-06-25 | 索尼株式会社 | Operation processing apparatus, operation processing control method, and computer program |
Non-Patent Citations (2)
Title |
---|
JAN FRISO GROOTE: "Equational Binary Decision Diagrams", 《LOGIC FOR PROGRAMMING AND AUTOMATED REASONING 2000》, 31 December 2000 (2000-12-31) * |
陈丽: "基于BDD和SAT的形式验证方法的研究", 《中国优秀硕士学位论文全文数据库信息科技辑》, vol. 2007, no. 04, 15 October 2007 (2007-10-15) * |
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN106529676A (en) * | 2016-10-25 | 2017-03-22 | 胡煜州 | Deductive lattice and reasoning method based on deductive lattice |
CN106529676B (en) * | 2016-10-25 | 2018-11-23 | 胡煜州 | It is a kind of to deduce lattice and based on the inference method for deducing lattice |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
Bunel et al. | Piecewise linear neural networks verification: A comparative study | |
Beame et al. | Propositional proof complexity: Past, present and future | |
Leemans et al. | Discovering block-structured process models from incomplete event logs | |
Batory | Feature models, grammars, and propositional formulas | |
Lutz | Complexity of terminological reasoning revisited | |
CN105893637A (en) | Link prediction method in large-scale microblog heterogeneous information network | |
Razgon | On OBDDs for CNFs of bounded treewidth | |
Cashmore et al. | Planning as quantified boolean formula | |
CN102663190B (en) | PPTL (propositional projection temporal logic) symbolic model checking method | |
Ahmadon et al. | State number calculation problem of workflow nets | |
CN104267936A (en) | Semantic tree based asynchronous dynamic push-down network reachability analysis method | |
CN103886377A (en) | inspection method based on BDD | |
Daoudi et al. | Constraint Acquisition with Recommendation Queries. | |
CN104537418A (en) | From-bottom-to-top high-dimension-data causal network learning method | |
Radke | HR* graph conditions between counting monadic second-order and second-order graph formulas | |
Nieuwenhuis | SAT modulo theories: getting the best of SAT and global constraint filtering | |
Donnelly et al. | The inverse method for the logic of bunched implications | |
Lee et al. | Polynomially decomposable global cost functions in weighted constraint satisfaction | |
CN104657542A (en) | MSVL (Modeling, Simulation and Verification Language)-based Petri network model detection method | |
Kataeva et al. | Applying graph grammars for the generation of process models and their logs | |
Tan et al. | An ontological and hierarchical approach for supply chain event aggregation | |
Lazić et al. | Comparative study on applicability of four software size estimation models based on lines of code | |
Tamura | A small model theorem for the hybrid μ-calculus | |
Vörös et al. | Advanced saturation-based model checking of well-formed coloured Petri nets | |
Yang et al. | Ordering heuristics for reliability evaluation of multistate systems using multistate multivalued decision diagrams |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C53 | Correction of patent of invention or patent application | ||
CB03 | Change of inventor or designer information |
Inventor after: Cui Xiaolei Inventor after: Zhou Qiping Inventor after: Liu Dapeng Inventor after: Ren Yongqing Inventor after: Chen Xingyu Inventor after: Wang Jing Inventor after: Li Yuming Inventor after: Wei Ming Inventor before: Cui Xiaolei Inventor before: Zhou Qiping Inventor before: Liu Dapeng Inventor before: Ren Yongqing Inventor before: Chen Xingyu |
|
COR | Change of bibliographic data |
Free format text: CORRECT: INVENTOR; FROM: CUI XIAOLEI ZHOU QIPING LIU DAPENG REN YONGQING CHEN XINGYU TO: CUI XIAOLEI ZHOU QIPING LIU DAPENG REN YONGQING CHEN XINGYU WANG JING LI YUMING WEI MING |
|
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
RJ01 | Rejection of invention patent application after publication | ||
RJ01 | Rejection of invention patent application after publication |
Application publication date: 20140625 |