Projects


Robby
    Robby
    Professor
    SAnToS Laboratory
    Department of Computer Science
    College of Engineering, Kansas State University
    2181 Engineering Hall
    1701D Platt Street, Manhattan, KS 66506
    Phone/Fax: (785) 532-6350/7353
    E-mail: robby@k-state.edu

    Bib   Citations   Code   Honors   Sireum Logika Logika
    CIS 301   STRESS'18

Projects


Sireum

Sireum is a long-term research effort to develop an over-arching software analysis platform that incorporates various static analysis techniques such as data-flow framework, model checking, symbolic execution, abstract interpretation, and deductive reasoning techniques (e.g., using weakest precondition calculation).

MDCF

MDCF provides an open-source Medical Device Coordination Framework for exploring solutions related to designing, implementing, verifying, and certifying, systems of integrated medical devices.