Local deadlock analysis of Simulink models based on timed behavioural patterns and theorem proving.

Joabe Jesus Augusto Sampaio

Published in: Sci. Comput. Program. (2024)

Keyphrases

theorem proving
behavioural patterns
inference rules
timed automata
proof planning
control system
parallel search
expert systems
probabilistic model
open source
theorem prover
term rewriting