Skip to:
Skip to Jira Navigation
Skip to Side Navigation
Skip to Main Content
Projects
Filters
Dashboards
Apps
Create
Search
Sign in
SMT_Solvers_interface
Software project
Menu
Reports
Issues
You're in a company-managed project
Projects
SMT_Solvers_interfac...
SSIMT-9
Unsound result involving existential quantification and append sequence
Add
Apps
Description
This result seems unsound:
ProB says:
Environment
None
Activity
Show:
All
History
Work log
Transitions
Newest first
Give feedback
Open
Actions
Details
Assignee
Michael Leuschel
Michael Leuschel
Reporter
Michael Leuschel
Michael Leuschel
Priority
Major
Created
November 11, 2020 at 8:55 PM
Updated
November 11, 2020 at 8:55 PM
Configure
This result seems unsound:
ProB says: