An Assume Guarantee Approach for Checking Quantified Array Assertions

Eitemau Tebyg

• Abstraction Refinement for Quantified Array Assertions
  gan: Seghir, M, et al.
  Cyhoeddwyd: (2009)
• Compositional Stochastic Model Checking Probabilistic Automata via Assume-guarantee Reasoning
  gan: Yang Liu, et al.
  Cyhoeddwyd: (2020-04-01)
• Monitoring Assumptions in Assume-Guarantee Contracts
  gan: Oleg Sokolsky, et al.
  Cyhoeddwyd: (2016-05-01)
• Performance assertion checking
  gan: Perl, Sharon Esther
  Cyhoeddwyd: (2016)
• Performance Assertion Checking
  gan: Perl, Sharon Esther
  Cyhoeddwyd: (2023)