Sign in

Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation.

Yliès FalconeMohamad JaberThanh-Hung NguyenMarius BozgaSaddek Bensalem
Published in: Softw. Syst. Model. (2015)
Keyphrases
  • building blocks
  • theoretical framework
  • intelligent systems
  • asynchronous circuits
  • database
  • case study
  • management system
  • main contribution
  • complex systems
  • model checking