Browsing HVL Open by Author "Tapia Tarifa, Silvia Lizeth"

Now showing items 1-3 of 3

    • From SOS to asynchronously communicating actors 

      de Boer, Frank; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth (Peer reviewed; Journal article, 2020)
      Structural Operational Semantics (SOS) provides a general format to describe a model as a transition system with very powerful synchronization mechanisms. Actor systems are distributed, asynchronously communicating units ...

    • Implementing SOS with Active Objects: A Case Study of a Multicore Memory System 

      Bezirgiannis, Nikolaos; de Boer, Frank; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth (Journal article; Peer reviewed, 2019)
      This paper describes the development of a parallel simulator of a multicore memory system from a model formalized as a structural operational semantics (SOS). Our implementation uses the Abstract Behavioral Specification ...

    • SymPaths: Symbolic Execution Meets Partial Order Reduction 

      de Boer, Frank; Bonsangue, Marcello; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth; Tveito, Lars (Peer reviewed; Journal article, 2020)
      Symbolic execution is an important technique for software analysis, which enables systematic model exploration by following all possible execution paths for a given program. For multithreaded shared variable programs, this ...