Login / Signup

Developments in automated verification techniques.

Cormac FlanaganBarbara König
Published in: Int. J. Softw. Tools Technol. Transf. (2014)
Keyphrases
  • automated verification
  • model checking
  • automated reasoning
  • formal verification
  • temporal logic
  • artificial intelligence
  • graph theory
  • data mining
  • social networks
  • web services
  • object oriented
  • distributed systems