597 search results - page 80 / 120 » E-Process Design and Assurance Using Model Checking |
109
click to vote
ICFP
2007
ACM
16 years 2 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
142
Voted
TACAS
2001
Springer
15 years 6 months ago
2001
Springer
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dyn...
142
Voted
CCGRID
2006
IEEE
15 years 8 months ago
2006
IEEE
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
139
click to vote
ICSE
2000
IEEE-ACM
15 years 6 months ago
2000
IEEE-ACM
We present Galileo, an innovative engineering modeling and analysis tool built using an approach we call packageoriented programming (POP). Galileo represents an ongoing evaluatio...
132
click to vote
CEC
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— Target shape design optimization problem (TSDOP) is a miniature model for real world design optimization problems. It is proposed as a test bed to design and analyze op...