3147 search results - page 379 / 630 » Open-Source Model Checking |
141
click to vote
ICTAC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Model programs are used as high-level behavioral specifications typically representing abstract state machines. For modeling reactive systems, one uses input-output mode...
131
click to vote
ISSTA
2009
ACM
15 years 11 months ago
2009
ACM
During testing, the execution of valid cases is only one part of the task. Checking the behavior in boundary situations and in the presence of errors is an equally important subje...
163
click to vote
TACAS
2001
Springer
15 years 9 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...
111
click to vote
DGO
2003
15 years 5 months ago
2003
Statistical models fit to data often require extensive and challenging re-estimation before achieving final form. For example, outliers can adversely affect fits. In other cas...
165
Voted
SAC
2008
ACM
15 years 3 months ago
2008
ACM
Detecting errors in an early phase of software development can help to reduce the cost of software systems. Many research attempts presented a fixed set of rules to help finding e...