Search Results - Li, Xianzhiyu

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    ESBMC v7.6: Enhanced Model Checking of C++ Programs with Clang AST

    ESBMC v7.6: Enhanced Model Checking of C++ Programs with Clang AST by Li, Xianzhiyu, Song, Kunjian, Gadelha, Mikhail R, Brauße, Franz, Menezes, Rafael S, Korovin, Konstantin, Cordeiro, Lucas C

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    ESBMC v7.4: Harnessing the Power of Intervals

    ESBMC v7.4: Harnessing the Power of Intervals by Menezes, Rafael, Aldughaim, Mohannad, Farias, Bruno, Li, Xianzhiyu, Manino, Edoardo, Shmarov, Fedor, Song, Kunjian, Brauße, Franz, Gadelha, Mikhail R, Tihanyi, Norbert, Korovin, Konstantin, Cordeiro, Lucas C

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: