机译:用于暹粒的高级域名语言(设计,开发和正式验证)
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便携式硬件验证组件
机译:以特定领域语言集成形式验证的方法和工具
机译:应用软件,领域特定语言和语言设计助理。软件工程