A high-level domain-specific language for SIEM (design, development and formal verification).
Anam NazirMasoom AlamSaif Ur Rehman MalikAdnan AkhunzadaMuhammad Nadeem CheemaMuhammad Khurram KhanYang ZiangTanveer KhanAbid KhanPublished in: Clust. Comput. (2017)
Keyphrases
- formal verification
- high level
- domain specific languages
- design process
- programming language
- knowledge based systems
- model checking
- design principles
- low level
- design tools
- rapid prototyping
- functional verification
- case study
- database
- support systems
- software architecture
- bounded model checking
- model checker
- software design
- software engineering
- databases