Login / Signup
CoVerPlan: A Comprehensive Verification Planning Framework Leveraging PSS Specifications.
Sourav Das
Sayandeep Sanyal
Aritra Hazra
Pallab 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