Sign in

Scaling Bounded Model Checking by Transforming Programs with Arrays.

Anushri JanaUday P. KhedkerAdvaita DatarR. VenkateshNiyas C
Published in: LOPSTR (2016)
Keyphrases
  • bounded model checking
  • model checking
  • formal verification
  • temporal logic
  • linear temporal logic
  • multi agent systems
  • computer programs
  • neural network
  • knowledge base
  • cooperative
  • linear array