Sorry, we do not have enough data to show an influence graph for this author.
- Full text PDF available (1)
Journals and Conferences
Using formal methods, namely model checking, we can automatically verify a formal model of the requirements against given properties. This allows us to detect errors early an the design process, thus… (More)