1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
Dimitar Guelev, Shuling Wang, Naijun Zhan
Deductive methods for the verification of hybrid systems vary on the format of statements in correctness proofs. Building on the example of Hoare triple-based reasoning, we have in…