Abstract: In the context of cyber-physical systems (CPS), understanding system behaviors is crucial for ensuring reliability, efficiency, and trust. However, due to the increasing complexity of the ...

Hello! This is the Demaecan note team. On May 31, 2026, "JJUG CCC 2026 Spring," the largest Java community event in Japan, was held. Demaecan sponsored the event, hosted a booth, and gave a session ...