Search Results - BURDY, Lilian

  • Showing 1 - 7 results of 7
Refine Results
  1. 1
    Interfacing Automatic Proof Agents in Atelier B: Introducing "iapa"

    Interfacing Automatic Proof Agents in Atelier B: Introducing "iapa" by Burdy, Lilian, Déharbe, David, Prun, Étienne

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    An overview of JML tools and applications

    An overview of JML tools and applications by BURDY, Lilian, CHEON, Yoonsik, COK, David R, ERNST, Michael D, KINIRY, Joseph R, LEAVENS, Gary T, LEINO, K. Rustan M, POLL, Erik

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Interfacing Automatic Proof Agents in Atelier B: Introducing "iapa"

    Interfacing Automatic Proof Agents in Atelier B: Introducing "iapa" by Burdy, Lilian, Déharbe, David, Prun, Étienne

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    An overview of JML tools and applications

    An overview of JML tools and applications by Burdy, Lilian, Cheon, Yoonsik, Cok, David, Ernst, Michael D., Kiniry, Joe, Leavens, Gary T., Rustan, K., Leino, M., Poll, Erik

    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Formally Checking Large Data Sets in the Railways

    Formally Checking Large Data Sets in the Railways by Lecomte, Thierry, Burdy, Lilian, Leuschel, Michael

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Formal development of an embedded verifier for Java Card byte code

    Formal development of an embedded verifier for Java Card byte code by Casset, L., Burdy, L., Requet, A.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    An overview of JML tools and applications1 1www.jmlspecs.org

    An overview of JML tools and applications1 1www.jmlspecs.org by Burdy, Lilian, Cheon, Yoonsik, Cok, David, Ernst, Michael D., Kiniry, Joe, Leavens, Gary T., Rustan, K., Leino, M., Poll, Erik

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: