Formal Methods in System Design reports on the latest formal methods for designing, implementing, and validating the correctness of hardware (VLSI) and software systems. Readers will find high quality, original papers describing all aspects of research and development. Contributions to the journal serve its goal of developing an important and highly useful collection of commonly applicable formal methods that will strongly influence future design environments and design methods.
Formal Methods in System Design
Description
Identifiers
ISSN | 0925-9856 |
e-ISSN | 1572-8102 |
DOI | 10.1007/10703.1572-8102 |
Publisher
Springer US
Additional information
Data set: Springer
Articles
Formal Methods in System Design > 2019 > 55 > 1 > 33-71
Craig interpolation has been successfully employed in symbolic program verification as a means of abstraction for sets of program states. In this article, we present the partial variable assignment interpolation system, an extension of the labeled interpolation system, enriched by partial variable assignments. It allows for both generation of smaller interpolants as well as for their faster computation...
Formal Methods in System Design > 2019 > 55 > 1 > 1-32
The last decade has seen a dramatic growth in the use of constraint solvers as a computational mechanism, not only for analysis of software, but also at runtime. Solvers are available for a variety of logics but are generally restricted to first-order formulas. Some tasks, however, most notably those involving synthesis, are inherently higher order; these are typically handled by embedding a first-order...
Formal Methods in System Design > 2019 > 55 > 1 > 72-72
The correct name of the seventh author is Yliès Falcone.