Login / Signup

Concurrent Bug Finding Based on Bounded Model Checking.

Milena Vujosevic-Janicic
Published in: Int. J. Softw. Eng. Knowl. Eng. (2020)
Keyphrases
  • bounded model checking
  • model checking
  • formal verification
  • temporal logic
  • linear temporal logic
  • neural network
  • website
  • case study
  • software projects