IEEE - Institute of Electrical and Electronics Engineers, Inc. - Synthesis for regular specifications over unbounded domains

2010 Formal Methods in Computer-Aided Design (FMCAD)

Author(s): Hamza, J. ; Jobstmann, B. ; Kuncak, V.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 October 2010
Conference Location: Lugano, Switzerland, Switzerland
Conference Date: 20 October 2010
Page(s): 101 - 109
ISBN (Electronic): 978-0-9835678-0-6
ISBN (Paper): 978-1-4577-0734-6
Regular:

Synthesis from declarative specifications is an ambitious automated method for obtaining systems that are correct by construction. Previous work includes synthesis of reactive finite-state systems... View More

Advertisement