-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
(Optional) Dependency-Aware Verification
enhancementNew feature or requestNew feature or requestStatus: Open.(Optional) Add a Pair type to SelVeri
documentationImprovements or additions to documentationImprovements or additions to documentationenhancementNew feature or requestNew feature or requestStatus: Open.(Optional) Consider multi-threading for efficient verification
enhancementNew feature or requestNew feature or requestStatus: Open.(Optional) Consider more efficient Z3 solver and mapper use
enhancementNew feature or requestNew feature or requestStatus: Open.(Optional) Add definite accept state detection for FutureAutomaton
enhancementNew feature or requestNew feature or requestStatus: Open.(Optional) SelVeri optimizations
enhancementNew feature or requestNew feature or requestStatus: Open.(Optional) Implement counter-example generation
enhancementNew feature or requestNew feature or requestStatus: Open.(Optional) List length declaration change
documentationImprovements or additions to documentationImprovements or additions to documentationenhancementNew feature or requestNew feature or requestStatus: Open.(Optional) Allow user-defined predicates/specifications
enhancementNew feature or requestNew feature or requestStatus: Open.