Output details
11 - Computer Science and Informatics
University of Oxford
Return to search
Output 0 of 0 in the submission
Output title
Recent Developments in FDR
Type
E - Conference contribution
Name of conference/published proceedings
(CAV ’12) Proceedings of the 24th International Conference on Computer Aided Verification
Volume number
n/a
Issue number
-
First page of article
699
ISSN of proceedings
-
Year of publication
2012
Number of additional authors
6
Additional information
<07>
FDR has a long history of successful exploitation in both academic and commercial contexts, underpinning two of this UoA's impact case studies. This paper describes the advances in FDR2 between 2008 and 2012 including the inclusion of priority, Timed CSP and the incorporation of SAT checking and CEGAR. This work underpinned the DARPA grant win that is now funding FDR3 development by Gibson-Robinson etc.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
1
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
