2004 search results - page 5 / 401 » Comparison of Model Checking Tools for Information Systems |
103
click to vote
CAV
2003
Springer
15 years 3 months ago
2003
Springer
Thispapergivesashort overviewofa model checking tool forreal-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides r...
106
click to vote
CAI
2006
Springer
14 years 11 months ago
2006
Springer
In this paper, formal verification methodologies and the SPR (Safety Problem Resolver) model checking tool are used for verifying a security model's safety. The SPR tool makes...
97
Voted
CAISE
2005
Springer
15 years 5 months ago
2005
Springer
Enterprise architects seek to align enterprise processes and structure with their supporting IT systems so that enterprises can flourish in their environment. The enterprise archi...
109
click to vote
ASE
2005
14 years 11 months ago
2005
Feature-oriented programming organizes programs around features rather than objects, thus better supporting extensible, product-line architectures. Programming languages increasin...
TOOLS
2008
IEEE
15 years 6 months ago
2008
IEEE
In model-based testing, one of the biggest decisions taken before modelling is the modelling language and the model analysis tool to be used to model the system under investigation...