2836 search results - page 42 / 568 » Model Checking for Software Architectures |
104
Voted
DSVIS
2006
Springer
15 years 7 months ago
2006
Springer
We formally specify the interpretation stage in a dual state space human-computer interaction cycle. This is done by extending / reorganising our previous cognitive architecture. I...
139
Voted
ICSE
2009
IEEE-ACM
15 years 1 months ago
2009
IEEE-ACM
This paper presents experiments realized by Airbus on model checking a safety critical system, lessons learnt and ways forward to extend the industrial use of formal verification ...
113
Voted
ACSAC
2005
IEEE
15 years 9 months ago
2005
IEEE
Software model checking has become a popular tool for verifying programs’ behavior. Recent results suggest that it is viable for finding and eradicating security bugs quickly. ...
124
click to vote
SCAM
2008
IEEE
15 years 9 months ago
2008
IEEE
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
116
click to vote
KBSE
2006
IEEE
15 years 9 months ago
2006
IEEE
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...