4047 search results - page 95 / 810 » Algebraic Model Checking |
89
Voted
IDA
2007
Springer
15 years 7 months ago
2007
Springer
The paper presents new developments in an extension of Codd’s relational model of data. The extension consists in equipping domains of attribute values with a similarity relation...
120
Voted
ICFEM
1998
Springer
15 years 5 months ago
1998
Springer
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
102
Voted
KBSE
2005
IEEE
15 years 6 months ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
WOLLIC
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In this paper, we present a three-valued property driven model checking algorithm for the logic CTL on hybrid automata. The technique of multivalued model checking for hy...
102
Voted
QEST
2007
IEEE
15 years 7 months ago
2007
IEEE
Failure Mode and Effect Analysis (FMEA) is a method for assessing cause-consequence relations between component faults and hazards that may occur during the lifetime of a system. ...