COMP4161 T3/2024 Advanced Topics in Software Verification Assignment 2 This assignment is released on October 11th, and is due on November 1st 17:59:59. We will accept Isabelle theory (.thy) files only. You are allowed to make late submissions up to five days (120 hours) after the deadline, but at a cost: -5 marks per day.

# CMPEN 472 Homework 7 ## 1. 作业目标 – 学习如何使用算术指令、简单的命令行解析以及编写基本的I/O系统子例程。 ## 2. 作业要求 ### 2.1程序功能 – 编写一个程序，在连接到HCS12板的超级终端上实现一个基本的计算器。 ### 2.2输入规则 – 仅输入正的十进制整数。 – 输入和输出的数字最多为四位。 – 有效的运算符为：+，-，*，/。 – 输入带前导零的数字是可以的。 – 仅输入两个数字和它们之间的一个运算符，不允许有空格。 ### 2.3输出规则 – 显示’Ecalc> ‘提示符，并回显用户的按键，直到按下回车键。 – 重复打印用户输入，并在’=’符号后打印答案。 ### 2.4错误处理 – 如果输入格式无效，重复打印用户输入直到错误字符，并在下一行打印错误消息：’Invalid input format’。 – 保持16位内部二进制数格式，检测并标记溢出错误。 – 使用整数除法并截断任何分数。 ### 2.5程序设计 – 程序从$3100开始，数据从$3000开始。 – 要添加大量注释，以便评分者和其他人能够清晰快速地理解程序。 ## 3. 示例输入输出