#
seahorn
Here are 2 public repositories matching this topic...
Using SeaHorn in Android Studio to check native code
android gradle llvm gradle-plugin model-checking formal-methods android-studio android-studio-plugin formal-verification android-native seahorn
-
Updated
Jan 24, 2018 - Java
Improve this page
Add a description, image, and links to the seahorn topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the seahorn topic, visit your repo's landing page and select "manage topics."