Output details
11 - Computer Science and Informatics
University of Liverpool
Article title
Bounded synthesis
Type
D - Journal article
Title of journal
International Journal on Software Tools for Technology Transfer
Article number
-
Volume number
15
Issue number
-
First page of article
519
ISSN of journal
1433-2787
Year of publication
2012
URL
-
Number of additional authors
1
Additional information
<10> This output is based on Schewe's PhD thesis, which won the GI dissertation award 2008 (best CS dissertation in Germany/Switzerland/Austria). It significantly extends an ATVA-2007 paper (not RAE returned). It introduces synthesis approaches that bound the number of rejecting states on a run of a CoBüchi-automaton and the size of the target system. The latter was picked up by Kupferman, Lustig, Vardi, and Yanakakis (STACS-2011), the first is implemented in leading synthesis tools: Raskin's anti-chain based tools Acacia (STTT-2013, ATVA-2010, CAV-2009) and Acacia+ (CAV-2012) and Ehlers's BDD based tool Unbeast (FMSD-2012,TACAS-2011,CAV-2010) which was applied to the symbolic design of small circuits (FMCAD-2012).
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
-
