Back to results
US 2025/0378128 A1Published application
Analysis apparatus, analysis method, and program
AssigneeInter-University Research Institute Corporation Research Organization of Information and Systems
InventorsIchiro HASUO, James HAYDON
Life of this patent
Estimating the term…
Abstract
An analysis apparatus includes an inputter configured to receive an input of a first temporal logic formula and an input of a second temporal logic formula, and an outputter configured to output a screen for displaying a first block diagram showing the first temporal logic formula and a second block diagram showing the second temporal logic formula in a comparable manner.
Claims14
An analysis apparatus, comprising:
- an inputter configured to receive an input of a first temporal logic formula and an input of a second temporal logic formula;
- and
- an outputter configured to output a screen for displaying a first block diagram showing the first temporal logic formula and a second block diagram showing the second temporal logic formula in a comparable manner.
An analysis method, comprising:
- causing a computer to execute
- receiving an input of a first temporal logic formula and an input of a second temporal logic formula;
- and
- outputting a screen for displaying a first block diagram showing the first temporal logic formula and a second block diagram showing the second temporal logic formula in a comparable manner.
1 more element
A non-transitory computer-readable storage medium storing a program for causing a computer to execute:
- receiving an input of a first temporal logic formula and an input of a second temporal logic formula;
- and
- outputting a screen for displaying a first block diagram showing the first temporal logic formula and a second block diagram showing the second temporal logic formula in a comparable manner.
Dependencies are inferred from the claim text.