Browsing by Author "Oliveira, Raquel"

Now showing items 1-1 of 1

  • State of the art on formal methods for interactive systems

    Oliveira, Raquel; Palanque, Philippe; Weyers, Benjamin; Bowen, Judy; Dix, Alan (Springer, 2017)
    This chapter provides an overview of several formal approaches for the design, specification, and verification of interactive systems. For each approach presented, we describe how they support both modelling and verification ...

Raquel Oliveira has 4 co-authors in Research Commons.