机译:暹粒的高级域名语言(设计,开发和正式验证)
COMSATS Inst Informat Technol Islamabad Dept Comp Sci Appl Secur Engn Res Grp Islamabad Pakistan;
COMSATS Inst Informat Technol Islamabad Dept Comp Sci Appl Secur Engn Res Grp Islamabad Pakistan;
COMSATS Inst Informat Technol Islamabad Dept Comp Sci Appl Secur Engn Res Grp Islamabad Pakistan;
COMSATS Inst Informat Technol Dept Comp Sci Islamabad Pakistan;
COMSATS Inst Informat Technol Attock Fac Comp Sci Dept Attock Pakistan;
King Saud Univ CoEIA Riyadh Saudi Arabia;
Deakin Univ Australia Geelong Vic Australia;
COMSATS Inst Informat Technol Islamabad Dept Comp Sci Appl Secur Engn Res Grp Islamabad Pakistan;
COMSATS Inst Informat Technol Islamabad Dept Comp Sci Appl Secur Engn Res Grp Islamabad Pakistan;
Correlation rules; Domain specific language; Formal methods; General purpose language; SIEM; Satisfiability modulo theory (SMT); Verification; Z3;
机译:暹粒的高级域名语言(设计,开发和正式验证)
机译:区块链语言的正式设计,实现和验证(特邀演讲)
机译:区块链语言的正式设计,实现和验证(特邀演讲)
机译:从解决方案到问题空间:基于模型的开发和领域特定语言的形式化方法
机译:可补偿工作流建模语言的设计,开发和验证。
机译:故障:用于元编程的Python嵌入式域特定语言用于Metogrogramming便携式硬件验证组件
机译:以特定领域语言集成形式验证的方法和工具
机译:应用软件,领域特定语言和语言设计助理。软件工程