Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Assignee Updated
4044 AF3 Phoenix Change Request New Normal Simulation OperatorPanels to JavaFX 07/20/2020 02:32 PM
3919 AF3 Phoenix Change Request New Normal SourceEditorBase<T> to JavaFX 05/11/2020 10:47 AM
3911 AF3 Phoenix Change Request New Normal GlossaryEntryEditorBase to JavaFX 05/11/2020 10:47 AM
3724 AF3 Phoenix Feature New Normal Unable to use SAT/SMT features of NuXMV 09/26/2019 02:03 PM
3723 AF3 Phoenix Bug New Normal Using Variables from Sub-componnets for framing Temporal Properties gives error 09/26/2019 02:16 PM
3663 AF3 Phoenix Change Request New Normal Clean constraints in the component group 03/01/2019 02:57 PM
3647 AF3 Phoenix Support New Normal refactor the classes for the transformation to flatten structures 09/26/2019 02:30 PM
3637 AF3 Phoenix Bug New Normal [Expression] Exception when running JUnit tests 10/07/2019 09:43 AM
3619 AF3 Phoenix Change Request New Normal [code refactoring] create an interface for variables to values map 09/26/2019 02:31 PM
3609 AF3 Phoenix Feature New Normal Extend MCDC analysis to support structures 09/26/2019 02:31 PM
3597 AF3 Phoenix Bug New Normal STL OCRA contract verification not working on Windows 10/07/2019 09:44 AM
3509 AF3 Phoenix Support New Normal rework OCRA refinement 05/13/2019 02:10 PM
3487 AF3 Phoenix Change Request New Normal Refresh editor when creating a behavior 05/13/2019 02:11 PM
3462 AF3 Phoenix Feature New Normal Fault Tree Analysis (FTA) for Safety and Security Plugin 05/13/2019 02:04 PM
3425 Analysis Feature New Normal Safety and Security Analysis 05/13/2019 02:04 PM
3424 AF3 Phoenix Change Request New Normal Constraints: Refactor common interpretation of results 05/13/2019 02:08 PM
3412 AF3 Phoenix Bug New Normal bounds check fails for strongly causal component 10/07/2019 09:44 AM
3411 AF3 Phoenix Support New Normal rethink bounds check design 05/13/2019 02:08 PM
3407 AF3 Phoenix Feature New Normal Use Z3 for non-determinism check 05/13/2019 02:08 PM
3342 AF3 Phoenix Bug New Normal UI freezes when contract constraint is enabled and guard is modified 10/07/2019 09:45 AM
3331 AF3 Phoenix Support New Normal Changes in constraint mechanism 05/13/2019 02:08 PM
3330 AF3 Phoenix Support New Normal cancelling formal verification constraints 05/13/2019 02:08 PM
3260 AF3 Phoenix Support New Normal update simple traffic light AF3 tour for OCRA contract 05/13/2019 02:08 PM
3233 Analysis Support New Low Inefficiency in checking contract against implementation 05/13/2019 02:08 PM
3187 AF3 Phoenix Feature New Normal [OBC-SA] Code Generation 12/04/2017 01:57 AM
(1-25/295) Per page: 25, 50, 100

Also available in: Atom CSV PDF