Login / Signup

Minimal Assignments for Bounded Model Checking.

Kavita RaviFabio Somenzi
Published in: TACAS (2004)
Keyphrases
  • bounded model checking
  • model checking
  • formal verification
  • temporal logic
  • linear temporal logic
  • multi agent systems
  • cooperative
  • neural network
  • web services
  • decision problems
  • finite state