机译:基于整数线性规划的异步无功系统性能检查
University of Konstanz, Konstanz|c|;
Promela; Software verification; UML; abstraction; asynchronous communication; buffer boundedness; control flow cycles; counterexamples; cycle dependences; formal methods; integer linear programming; livelock freedom; property checking; refinement; static analysis;
机译:基于分层遗传算法和基于混合线性编程的集成性能系统配置的随机优化
机译:考虑多个储能系统的基于混合整数线性规划的调峰算法
机译:有界分解与混合整数可行性检查的混合以测量结构化线性系统中的冗余
机译:参数化异步共享内存下推系统的模型检查线性时间属性
机译:无限状态反应系统的可实现性检查和合成的正式技术
机译:基于整数编程的基于树的树压缩方法及其在聚糖树结构模式提取中的应用
机译:基于整数线性规划的异步无功系统性能检查