Ausgabe 3-4/2018
INDIVIDUAL CONTRIBUTIONS
Inhalt (6 Artikel)
Original Article
Alternative shaper: a model for automatic design generation
Filipe Santos, Krystian Kwiecinski, Ana de Almeida, Sara Eloy, Bruno Taborda
Original Article
A UTP semantics for communicating processes with shared variables and its formal encoding in PVS
Ling Shi, Yongxin Zhao, Yang Liu, Jun Sun, Jin Song Dong, Shengchao Qin
Original Article
Unifying separation logic and region logic to allow interoperability
Yuyan Bao, Gary T. Leavens, Gidon Ernst
Original Article
Parameterized verification of monotone information systems
Raphaël Chane-Yack-Fa, Marc Frappier, Amel Mammar, Alain Finkel