Ausgabe 3/2019
INDIVIDUAL CONTRIBUTIONS
Inhalt (4 Artikel)
Original Article
Consistency-preserving refactoring of refinement structures in Event-B models
Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden
Original Article
A modeling and verification framework for optical quantum circuits
Sidi Mohamed Beillahi, Mohamed Yousri Mahmoud, Sofiène Tahar
Open Access
Original Article
Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example
Cliff B. Jones, Nisansala Yatapanage
Open Access
Original Article
Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving
Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe