Login / Signup

Simulation-based verification using Temporally Attributed Boolean Logic.

Subrat Kumar PandaArnab RoyP. P. ChakrabartiRajeev Kumar
Published in: ACM Trans. Design Autom. Electr. Syst. (2008)
Keyphrases
  • boolean logic
  • truth values
  • spatio temporal
  • temporal information
  • model checking
  • formal verification
  • special case
  • artificial intelligence
  • relational databases
  • hidden markov models
  • verification method