An Abstraction Technique for the Verification of Artifact-Centric Systems.
Francesco BelardinelliAlessio LomuscioFabio PatriziPublished in: KR (2012)
Keyphrases
- artifact centric
- model checking
- management system
- expert systems
- distributed systems
- automated verification
- learning systems
- intelligent systems
- hardware designs
- bounded model checking
- formal verification
- building blocks
- knowledge based systems
- database
- wireless sensor networks
- case study
- data mining
- neural network
- databases