...
机译:使用Isabelle / HOL和Scala验证模型转换
Univ Constantine, Comp Sci Dept, MISC Lab, 2 Abdelhamid Mehri, Constantine, Algeria;
Univ Constantine, Comp Sci Dept, MISC Lab, 2 Abdelhamid Mehri, Constantine, Algeria;
Univ Paul Sabatier, IRIT, Toulouse, France;
Univ Constantine, Comp Sci Dept, MISC Lab, 2 Abdelhamid Mehri, Constantine, Algeria|Univ Jijel, Comp Sci Dept, Jijel, Algeria;
Model-driven engineering (MDE); UML; Colored petri nets (CPN); Business process; Model transformation; Transformation correctness; Formal verification; Theorem Prover;
机译:使用Isabelle / Hol从大会视角来验证智能城市中的内容互联网的操作系统
机译:Isabelle / HOL中代数数的经过验证的实现
机译:从Isabelle / HOL生成经过验证的LLVM
机译:基于Isabelle / HOL的UML状态机图到有色Petri网变换的验证
机译:在HOL中对DSP设计进行建模和验证。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:将scala程序翻译成Isabelle / HOL