Verified Concurrency Through Local Reasoning

  • Birkedal, Lars (PI)

    Projekter: ProjektForskning

    Projektdetaljer

    StatusAfsluttet
    Effektiv start/slut dato02/09/201115/11/2011

    Emneord

    • Concurrency
    • verification
    • reasoning
    • communication
    • reliability