共 50 条
- [21] Expressing High-Level Scientific Claims with Formal Semantics PROCEEDINGS OF THE 11TH KNOWLEDGE CAPTURE CONFERENCE (K-CAP '21), 2021, : 233 - 240
- [22] Formal verification of high-level conformance with symbolic simulation HLDVT'05: TENTH ANNUAL IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2005, : 153 - 159
- [23] Formal Deadlock Checking on High-Level SystemC Designs 2010 IEEE AND ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 2010, : 794 - 799
- [24] Utilizing high-level information for formal hardware verification ADVANCED COMPUTER SYSTEMS, PROCEEDINGS, 2002, 664 : 419 - 431
- [26] REPOSITORY ENGINEERING DESIGN FOR HIGH-LEVEL WASTE NUCLEAR ENERGY-JOURNAL OF THE BRITISH NUCLEAR ENERGY SOCIETY, 1982, 21 (04): : 267 - 273
- [27] Methodology for Specification and Verification of High-Level Requirements with MetAcsl 2021 IEEE/ACM 9TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE 2021), 2021, : 54 - 67
- [28] COMPILATION TECHNIQUES FOR A HIGH-LEVEL LANGUAGE PROCESSOR MICROPROCESSING AND MICROPROGRAMMING, 1991, 32 (1-5): : 29 - 36
- [29] Formal methods for requirements engineering INTERNATIONAL SYMPOSIUM ON MULTIMEDIA SOFTWARE ENGINEERING, PROCEEDINGS, 2000, : 13 - 13