首页> 外文OA文献 >Generating Finite State Machines from Abstract State Machines

【2h】

Generating Finite State Machines from Abstract State Machines

机译：从抽象状态机生成有限状态机

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Wolfgang Grieskamp; Yuri Gurevich; Wolfram Schulte; Margus Veanes;
展开▼
作者单位

展开▼
年度 2002
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis [J] . JUNGHEE LIM, THOMAS REPS ACM Transactions on Programming Languages and Systems . 2013,第1期

机译：TSL：生成抽象解释器的系统及其在机器代码分析中的应用
2. Visualizing principles of abstract machines by generating interactive animations [J] . Stephan Diehl, Thomas Kunze Future generation computer systems . 2000,第7期

机译：通过生成交互式动画来可视化抽象机的原理
3. Guessing Individual Sequences: Generating Randomized Guesses Using Finite–State Machines [J] . Merhav Neri IEEE Transactions on Information Theory . 2020,第5期

机译：猜测个体序列：使用有限状态机生成随机猜测
4. Generating finite state machines from abstract state machines [C] . Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, ACM SIGSOFT international symposium on Software testing and analysis . 2002

机译：从抽象状态机生成有限状态机
5. Protocol specification and validation using abstract data types and finite state machines. [D] . Graff, Charles Joseph. 1996

机译：使用抽象数据类型和有限状态机进行协议规范和验证。
6. How do machine-generated questions compare to human-generated questions? [O] . Lishan Zhang, Kurt VanLehn -1

机译：机器生成的问题与人工生成的问题相比如何？
7. TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis [O] . Lim Junghee, Reps Thomas 2012

机译：TsL：生成抽象解释器的系统及其在机器码分析中的应用

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号