共 50 条
- [32] On Dynamic Switching of Navigation for Semi-Formal Design Validation HLDVT: 2008 IEEE INTERNATIONAL HIGH LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2008, : 41 - 48
- [34] CyberGSN: A Semi-formal Language for Specifying Safety Cases 51ST ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN-W 2021), 2021, : 63 - 66
- [35] Semi-formal method for security policies and design specifications 2017, Tsinghua University (57): : 695 - 701
- [36] Semi-formal verification of VHDL-AMS descriptions 2002 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOL V, PROCEEDINGS, 2002, : 333 - 336
- [37] Validating semi-formal specifications of interactors as design representations DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'98, 1998, : 102 - 116
- [38] Semi-formal test generation for a block of industrial DSP 19TH IEEE VLSI TEST SYMPOSIUM, PROCEEDINGS, 2001, : 131 - 136
- [39] Requirements interaction detection using semi-formal methods ECBS 2003: 10TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2003, : 224 - 232
- [40] Semi-formal verification of memory systems by symbolic simulation CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, PROCEEDINGS, 2003, 2860 : 158 - 163