2407 search results - page 159 / 482 » A Tool for Abstraction in Model Checking |
190
Voted
FIDJI
2004
Springer
15 years 10 months ago
2004
Springer
Our paper aims at proposing a framework that allows programmers to exploit the benefits of exception handling throughout the entire development Java programs by modeling exception ...
155
Voted
OOIS
1997
Springer
15 years 11 months ago
1997
Springer
Viewpoints are re ections of software systems from multiple perspectives. A number of consistency conditions apply to viewpoints and developers require a tool for each type of vie...
161
Voted
FCT
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Motivated by considerations in XML theory and model checking, data strings have been introduced as an extension of finite alphabet strings which carry, at each position,...
208
click to vote
RP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We compare several languages for specifying Markovian population models such as queuing networks and chemical reaction networks. These languages —matrix descriptions, s...
175
Voted
FORMATS
2005
Springer
16 years 15 days ago
2005
Springer
Timed automata (TA) are a widely used model for real-time systems. Several tools are dedicated to this model, and they mostly implement a forward analysis for checking reachability...