Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/FDR2> ?p ?o }
Showing triples 1 to 36 of
36
with 100 triples per page.
- FDR2 abstract "FDR (Failures-Divergences Refinement) and subsequently FDR2 are refinement checking software tools, designed to check formal models expressed in Communicating sequential processes (CSP). The tools were originally developed by Formal Systems (Europe) Ltd. Bill Roscoe of the Department of Computer Science, University of Oxford devised many of the algorithms used by the tool and Michael Goldsmith was instrumental in the implementation. FDR2 is developed by Oxford University Department of Computer Science from where is it is freely availablefor academic and other non-commercial use: FDR is often described as a model checker, but is technically a refinement checker, in that it converts two CSP process expressions into Labelled Transition Systems (LTSs), and then determines whether one of the processes is a refinement of the other within some specified semantic model (traces, failures, failures/divergence and some other alternatives). FDR2 applies various state-space compression algorithms to the process LTSs in order to reduce the size of the state-space that must be explored during a refinement check.FDR2 has gone through many releases, having replaced the earlier tool now referred to as FDR1 in 1995. It has been succeeded by FDR3, a completely re-written version incorporating amongst other things parallel execution and an integrated type checker. FDR3 is released by the University of Oxford, which also released FDR2 in the period 2008-12. A ProBE CSP Animator is integrated in FDR3.".
- FDR2 wikiPageID "25840230".
- FDR2 wikiPageLength "2896".
- FDR2 wikiPageOutDegree "16".
- FDR2 wikiPageRevisionID "693327889".
- FDR2 wikiPageWikiLink Bill_Roscoe.
- FDR2 wikiPageWikiLink Category:Concurrent_computing.
- FDR2 wikiPageWikiLink Category:Model_checkers.
- FDR2 wikiPageWikiLink Category:Oxford_University_Computing_Laboratory.
- FDR2 wikiPageWikiLink Communicating_sequential_processes.
- FDR2 wikiPageWikiLink Conceptual_model.
- FDR2 wikiPageWikiLink Department_of_Computer_Science,_University_of_Oxford.
- FDR2 wikiPageWikiLink Formal_Systems.
- FDR2 wikiPageWikiLink Formal_language.
- FDR2 wikiPageWikiLink Michael_Goldsmith_(computer_scientist).
- FDR2 wikiPageWikiLink Model_checking.
- FDR2 wikiPageWikiLink Programming_tool.
- FDR2 wikiPageWikiLink Refinement_(computing).
- FDR2 wikiPageWikiLink State_space.
- FDR2 wikiPageWikiLink Transition_system.
- FDR2 wikiPageWikiLinkText "FDR refinement-checker".
- FDR2 wikiPageWikiLinkText "FDR2".
- FDR2 wikiPageUsesTemplate Template:Programming-software-stub.
- FDR2 wikiPageUsesTemplate Template:Reflist.
- FDR2 subject Category:Concurrent_computing.
- FDR2 subject Category:Model_checkers.
- FDR2 subject Category:Oxford_University_Computing_Laboratory.
- FDR2 hypernym Refinement.
- FDR2 type Tool.
- FDR2 comment "FDR (Failures-Divergences Refinement) and subsequently FDR2 are refinement checking software tools, designed to check formal models expressed in Communicating sequential processes (CSP). The tools were originally developed by Formal Systems (Europe) Ltd. Bill Roscoe of the Department of Computer Science, University of Oxford devised many of the algorithms used by the tool and Michael Goldsmith was instrumental in the implementation.".
- FDR2 label "FDR2".
- FDR2 sameAs Q5425291.
- FDR2 sameAs m.09v4d6_.
- FDR2 sameAs Q5425291.
- FDR2 wasDerivedFrom FDR2?oldid=693327889.
- FDR2 isPrimaryTopicOf FDR2.