I'm a student now using UPPAAL for academic research.For some reasons, I want to write some strategies to optimize the process when UPPAAL verification.
I mean, if I have a search strategy specific to my current model that reduces the memory and time needed to formally verify that model, where or how can I implement it?
I know I can use verifyta.exe and choose the searching strategy,but how can I choose my strategy?
Furthermore, if I want to apply some algorithms or techniques to the process of reachable analysis, what should I do?
I have checked UPPAAL's official website and some other information, but I couldn't find any relevant solutions. Does UPPAAL not allow users to make such modifications?