Sign in

Automated Validation of Insurance Applications against Calculation Specifications.

Advaita DatarAmey ZareAsia AR. VenkateshShrawan KumarUlka Shrotri
Published in: CoRR (2022)
Keyphrases
  • semi automated
  • risk management
  • neural network
  • multi agent
  • formal specification
  • operational semantics
  • automated tools
  • databases
  • software development
  • fully automated
  • attribute grammars