4693 search results - page 522 / 939 » Verifying Hybrid Systems |
218
click to vote
ISORC
2005
IEEE
16 years 17 days ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
169
click to vote
SEFM
2005
IEEE
16 years 17 days ago
2005
IEEE
Memory consumption policies provide a means to control resource usage on constrained devices, and play an important role in ensuring the overall quality of software systems, and i...
172
Voted
BIRTHDAY
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. The formal development of industrial-size software is an errorprone and therefore an evolutionary process. Verifying formal specifications usually reveals hidden errors ...
212
click to vote
ESOP
2005
Springer
16 years 16 days ago
2005
Springer
Electronic voting promises the possibility of a convenient, efficient and secure facility for recording and tallying votes in an election. Recently highlighted inadequacies of imp...
173
click to vote
DISCEX
2003
IEEE
16 years 8 days ago
2003
IEEE
Packets sent using the IP protocol include the IP address of the sending host. The recipient directs replies to the sender using this source address. However, the correctness of t...