Abstract: This article presents new approaches to system verification and synthesis based on subsystem verification and the novel combined use of counterexamples and heuristics to identify suitable ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback