Applications of Formal Methods to System Design and Verification

Farhad Arbab; Marjan Sirjani

doi:10.3217/jucs-013-13

JUCS - Journal of Universal Computer Science 13(13): 1970-1971, doi: 10.3217/jucs-013-13

Applications of Formal Methods to System Design and Verification

Farhad Arbab^‡, Marjan Sirjani^§

‡ WI, Netherlands, and Leiden University, Leiden, Netherlands§ Department of Electrical and Computer Engineering, University of Tehran, Iran

Corresponding author: Farhad Arbab ( farhad.arbab@cwi.nl )

This article is freely available under the J.UCS Open Content License.

Citation: Arbab F, Sirjani M (2007) Applications of Formal Methods to System Design and Verification. JUCS - Journal of Universal Computer Science 13(13): 1970-1971. https://doi.org/10.3217/jucs-013-13