Sort by
Refine Your Search
-
methods, AI methods, and testing methods can be applied in both static and dynamic analysis. For instance, formal methods can be applied to create abstract models to identify relevant paths in software code
Searches related to model checking
Enter an email to receive alerts for model-checking positions