首页>外文会议>International workshop on structured object-oriented formal language and method

International workshop on structured object-oriented formal language and method

召开年：2015
召开地：Paris(FR)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Automated Program Debugging for Multiple Bugs Based on Semantic Analysis

机译：基于语义分析的多个错误的自动化程序调试
- 作者：Aishan Liu;Li Li;Jie Luo
- 会议名称：《International workshop on structured object-oriented formal language and method》 | 2016年
- Automated debugging;
- Predicate switch;
- Semantic analysis;
2.Model Checking Process Scheduling over Multi-core Computer System with MSVL

机译：MSVL的多核计算机系统模型检查过程调度
- 作者：Xinfeng Shu;Zhenhua Duan
- 会议名称：《International workshop on structured object-oriented formal language and method》 | 2016年
- Process scheduling;
- System modeling;
- Verification;
- Model checking;
3.Genericity in PAR Platform

机译：PAR平台的通用性
- 作者：Jinyun Xue
- 会议名称：《International workshop on structured object-oriented formal language and method》 | 2016年
- PAR method;
- Platform;
- Genericity;
- Generic programming;
- Generic parameter;
4.Modeling and Verification of an Interrupt System in μC/OS-Ⅲ with TMSVL

机译：TMSVL在μC/OS-Ⅲ中的中断系统建模与验证
- 作者：Jin Cui;Zhenhua Duan;Cong Tian;Nan Zhang
- 会议名称：《International workshop on structured object-oriented formal language and method》 | 2016年
- Real-time systems;
- Interrupt;
- Schedulability;
- μC/OS-Ⅲ;
- Model checking;
5.A Method Based on MSVL for Verification of the Social Network Privacy Policy

机译：一种基于MSVL的社交网络隐私策略验证方法
- 作者：Xiaobing Wang;Tao Sun
- 会议名称：《International workshop on structured object-oriented formal language and method》 | 2016年
- MSVL;
- Social networks;
- Privacy policy;
- Verification;
6.A Case Study: SOFL + Model Checking for OSEK/VDX Application

机译：案例研究：针对OSEK / VDX应用程序的SOFL +模型检查
- 作者：Zhuo Cheng;Haitao Zhang;Yasuo Tan;Yuto Lim
- 会议名称：《International workshop on structured object-oriented formal language and method》 | 2016年
7.The Interchange Format of Tabular Expressions Using XML

机译：使用XML的表格表达式的交换格式
- 作者：Mao Huang;Yihai Chen;Ridha Khedri;Huaikou Miao
- 会议名称：《International workshop on structured object-oriented formal language and method》 | 2016年
- Tabular expressions;
- Interchange format;
- Formal methods;
- XML;
8.A GUI-Aided Approach to Formal Specification Construction

机译：基于GUI的形式规范构造方法
- 作者：Shaoying Liu
- 会议名称：《International workshop on structured object-oriented formal language and method》 | 2016年
9.On Reachability Analysis of Updatable Timed Automata with One Updatable Clock

机译：具有一个可更新时钟的可更新定时自动机的可达性分析
- 作者：Yunqing Wen;Guoqiang Li;Shoji Yuen
- 会议名称：《International workshop on structured object-oriented formal language and method》 | 2016年
10.Research on Formal Development of Non-recursive Algorithms of Graph Search

机译：图搜索非递归算法形式化开发的研究
- 作者：Qimin Hu;Jinyun Xue;Zhen You
- 会议名称：《International workshop on structured object-oriented formal language and method》 | 2016年
- Formal development;
- Loop invariant;
- Non-recursive graph search algorithms;
- PAR platform;
- Depth-first search;
- Breadth-first search;
11.Automatic Generation of Specification-Based Test Cases by Applying Genetic Algorithms in Reinforcement Learning

机译：在强化学习中应用遗传算法自动生成基于规范的测试用例
- 作者：Yuji Sato;Taku Sugihara
- 会议名称：《International workshop on structured object-oriented formal language and method》 | 2016年
- Formal specification;
- Genetic algorithm;
- Reinforcement learning;
12.Fault Localization of Timed Automata Using Maximum Satisfiability

机译：使用最大满意度的定时自动机故障定位
- 作者：Shin Nakajima;Si-Mohamed Lamraoui
- 会议名称：《International workshop on structured object-oriented formal language and method》 | 2016年
13.LtlNfBa: Making LTL Translation More Practical

机译：LtlNfBa：使LTL翻译更实用
- 作者：Cong Tian;Jun Song;Zhenhua Duan;Zhao Duan
- 会议名称：《International workshop on structured object-oriented formal language and method》 | 2016年
- Linear temporal logic;
- Buechi automata;
- Generalized Buechi automata;
- Model checking;
- SPOT;
14.PPTL_SPIN: A SPIN Based Model Checker for Propositional Projection Temporal Logic

机译：PPTL_SPIN：用于命题投影时间逻辑的基于SPIN的模型检查器
- 作者：Xiaoming Zhang;Zhenhua Duan;Cong Tian
- 会议名称：《International workshop on structured object-oriented formal language and method》 | 2016年
- Propositional projection temporal logic;
- Biichi automata;
- Model checking;
- SPIN;
- Verification;
15.Automatic Transformation from SOFL Module Specifications to Program Structures

机译：从SOFL模块规格自动转换为程序结构
- 作者：Xiongwen Luo;Shaoying Liu
- 会议名称：《International workshop on structured object-oriented formal language and method》 | 2016年
- SOFL;
- Specification transformations;
- Data type;
- Programs;
16.Preface

机译：前言
- 作者：Shaoying Liu;Zhenhua Duan
- 会议名称：《International workshop on structured object-oriented formal language and method》 | 2016年