3256 search results - page 172 / 652 » Applications of Formal Methods to System Design and Verifica... |
177
click to vote
FORTE
1990
15 years 7 months ago
1990
The importance of a design methodology when using Formal Description Techniques is generally agreed in the scientific community. This paper presents some design principles and con...
162
click to vote
FDL
2003
IEEE
15 years 11 months ago
2003
IEEE
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
143
click to vote
IFL
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we explore how application-users can, in an interactive way, test properties about the state of GUI applications that can be classified as local state transition sys...
189
click to vote
CODES
2007
IEEE
16 years 23 days ago
2007
IEEE
Multiple wireless technologies are converging to run on personal handhelds. The plethora of communication standards next to the cost issues of deeper submicron processing require ...
165
click to vote
CCGRID
2003
IEEE
15 years 11 months ago
2003
IEEE
— Due to enormous complexity of the unstructured peer-to-peer networks as large-scale, self-configure, and dynamic systems, the models used to characterize these systems are eit...