Contents Menu Expand Light mode Dark mode Auto light/dark, in light mode Auto light/dark, in dark mode Skip to content
HyperQB
HyperQB

Contents:

  • Introduction
  • Background Theory
  • Intermediate Representation
  • Case Studies
    • Security
      • Symmetry in the Bakery Algorithm (NuSMV)
      • Non-interference in multi-threaded programs (NuSMV)
      • Fairness in Non-Repudiation Protocols (NuSMV)
      • Co-termination (NuSMV)
      • Deniability (NuSMV)
      • Intransitive Non-interference (NuSMV)
      • Termination-sensitive/-insensitive Non-interference (NuSMV)
      • Nondeterministic Inputs and Transitions (NuSMV)
    • Concurrency
      • Linearizability (NuSMV)
    • Planning
      • Path planning for robots (NuSMV)
    • Synthesis
      • Secrecy-preserving Refinement
      • LTL with Team Semantics
    • Testing
      • Mutation Testing (NuSMV)
  • Playground
  • Download
  • People
  • Publications
Back to top
View this page

People¶

Tzu-Han Hsu photo
Tzu-Han Hsu
Ph.D. student
Borzoo Bonakdarpour photo
Borzoo Bonakdarpour
Associate Professor – Director
Kenneth Rogale photo
Kenneth Rogale
Ph.D. student
Milad Rabizadeh photo
Milad Rabizadeh
Ph.D. student
Fedor Filippov photo
Fedor Filippov
Undergraduate student
Marco photo
Marco A. de Oliveira Batista
Undergraduate student
Alisha photo
Alisha Brenholt
Master’s student
Next
Publications
Previous
Download
Copyright © 2025, TART @ MSU
Made with Sphinx and @pradyunsg's Furo