Login / Signup
Invited Talk: Practical Use of Formal Verification - Where are we? Where do we go?
Ramayya Kumar
Published in:
VLSI Design (1999)
Keyphrases
</>
formal verification
invited talk
model checking
model checker
selected papers
automated verification
bounded model checking
knowledge discovery and data mining
symbolic model checking
real world
temporal logic
e learning
expert systems
knowledge representation
knowledge discovery
software engineering