Login / Signup

CoVerPlan: A Comprehensive Verification Planning Framework Leveraging PSS Specifications.

Sourav DasSayandeep SanyalAritra HazraPallab Dasgupta
Published in: ACM Trans. Design Autom. Electr. Syst. (2023)
Keyphrases
  • database
  • databases
  • high level
  • main contribution
  • neural network
  • learning algorithm
  • multi agent
  • expert systems
  • lightweight
  • conceptual framework