Login / Signup

Cut branches before looking for bugs: certifiably sound verification on relaxed slices.

Jean-Christophe LéchenetNikolai KosmatovPascale Le Gall
Published in: Formal Aspects Comput. (2018)
Keyphrases
  • model checking
  • source code
  • face verification
  • software systems
  • formal methods
  • concurrent systems
  • neural network
  • search space
  • databases
  • test cases
  • quantitative measurements