« Home

Journal. Formal Methods in System Design [fmsd]

  • https://link.springer.com/journal/10703

Formal Methods in System Design is a journal dedicated to presenting the latest advancements in formal methods for hardware and software system design.

Backlinks

    Reference. Model Checking of Safety Properties [kupferman-vardi-2001]

    • November 2001
    • Orna Kupferman, Moshe Vardi
    • Formal Methods in System Design 19 291–314
    • 10.1023/A:1011254632723