1108 search results - page 121 / 222 » Model Checking of Safety Properties |
131
Voted
ICST
2010
IEEE
14 years 11 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
126
click to vote
FMICS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Bounded model checking (BMC) based on satisfiability testing (SAT) has been introduced as a complementary technique to BDDbased symbolic model checking of LTL properties ...
108
Voted
CSFW
2004
IEEE
15 years 4 months ago
2004
IEEE
Information flow security properties such as noninterference ensure the protection of confidential data by strongly limiting the flow of sensitive information. However, to deal wi...
109
click to vote
AOSE
2005
Springer
15 years 6 months ago
2005
Springer
In order to create adaptive Agent Systems with abilities matching those of their biological counterparts, a natural approach is to incorporate classical conditioning mechanisms int...
97
Voted
ENTCS
2007
15 years 19 days ago
2007
In the domain of software engineering, the use of software components is now a well established approach. However, it raises problems about the dynamic adaptation of these compone...