1914 search results - page 148 / 383 » Verification by Abstract Interpretation |
95
Voted
FMOODS
2006
15 years 2 months ago
2006
Abstract. Explicit behavioural interfaces are now accepted as a mandatory feature of components to address architectural analysis. Behavioural interface description languages shoul...
BIRTHDAY
2010
Springer
15 years 29 days ago
2010
Springer
Abstract. The error-prone process of formal specification and verification of large systems requires an efficient, evolutionary formal development approach. Development graphs have...
199
click to vote
ECCB
2008
IEEE
15 years 28 days ago
2008
IEEE
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...
102
click to vote
ENTCS
2008
15 years 25 days ago
2008
Well-designed interfaces use procedural and sensory cues to increase the salience of appropriate actions and intentions. However, empirical studies suggest that cognitive load can...
134
click to vote
FAC
2008
15 years 25 days ago
2008
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...