Global Model-Checking for Propositional $\mu$-Calculus
- Resource Type
- Conference
- Authors
- Jiang, Hua; Li, Lingxiang
- Source
- 2023 6th International Conference on Information Communication and Signal Processing (ICICSP) Information Communication and Signal Processing (ICICSP), 2023 6th International Conference on. :848-852 Sep, 2023
- Subject
- Communication, Networking and Broadcast Technologies
Computing and Processing
Analytical models
Computational modeling
Signal processing algorithms
Model checking
Signal processing
Iterative algorithms
Filling
model checking
$\mu$-calculus
computational complexity
algorithm design
- Language
- ISSN
- 2770-792X
On the basis of our previous research work, we have improved the core algorithm for global model checking of propositional $\mu$-calculus. While the improved algorithm has the same theoretical time and space complexity as the algorithm we did before, it reduces the number of iterations required to compute the fixed-point from the initial value, this results in lower computational requirements and faster convergence to the fixed-point value compared to the algorithm we did before. These improvements are beneficial for the wider application and promotion of propositional $\mu$-calculus global model checking techniques.