Browse Dept. of Computer Science by Subject "Model checking"

  • Bae, Kyungmin (2014-09-16)
    Model checking is an automatic technique for verifying concurrent systems. The properties of the system to be verified are typically expressed as temporal logic formulas, while the system itself is formally specified as a ...

    application/pdf

    application/pdfPDF (4MB)
  • Bae, Kyungmin; Meseguer, José (2010-01-29)
    In modeling a concurrent system, fairness constraints are usually considered at a specific granularity level of the system, leading to many different variants of fairness: transition fairness, object/process fairness, actor ...

    application/pdf

    application/pdfPDF (455kB)
  • Croft, Jason (2017-12-05)
    Traditional computer networks require manual configuration of potentially hundreds of forwarding devices. To ease this configuration burden, software-defined networking (SDN) provides centralized, programmatic control of ...

    application/pdf

    application/pdfPDF (1MB)