Login / Signup

Modularization of formal specifications or efficient synthesis of reactive systems.

Masaya ShimakawaKenji OsariShigeki HagiharaNaoki Yonezaki
Published in: ICSCA (2017)
Keyphrases
  • formal specification
  • reactive systems
  • model checking
  • open source
  • software systems
  • formal methods
  • specification language
  • object oriented design
  • concurrent systems