979 search results - page 73 / 196 » Automated Environment Generation for Software Model Checking |
120
Voted
ESEC
1999
Springer
15 years 6 months ago
1999
Springer
Building software systems out of pre-fabricated components is a very attractive vision. Distributed Component Platforms (DCP) and their visual development environments bring this v...
130
click to vote
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
The agentTool III (aT3 ) development environment is built on the Eclipse platform and provides traditional model creation tools to support the analysis, design, and implementation...
111
click to vote
KBSE
2005
IEEE
15 years 7 months ago
2005
IEEE
Visual Languages (VLs) play an important role in software system development. Especially when looking at well-defined domains, a broad variety of domain specific visual language...
193
click to vote
FASE
2011
Springer
14 years 5 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
143
click to vote
MTV
2006
IEEE
15 years 8 months ago
2006
IEEE
Simulation-based validation of the current industrial processors typically use huge number of test programs generated at instruction set architecture (ISA) level. However, archite...