2407 search results - page 167 / 482 » A Tool for Abstraction in Model Checking |
166
Voted
IMCSIT
2010
15 years 5 months ago
2010
Abstract--We present a tool that facilitates the efficient extension of morphological lexica. The tool exploits information from a morphological lexicon, a morphological grammar an...
171
Voted
BMCBI
2007
15 years 7 months ago
2007
Background: The need to build a tool to facilitate the quick creation and editing of models encoded in the Systems Biology Markup language (SBML) has been growing with the number ...
179
click to vote
SIGSAND
2008
15 years 8 months ago
2008
: Conceptual business process models such as Event-driven Process Chains (EPCs) play an important role in the business process management life cycle. The problem in this context is...
189
Voted
IRI
2005
IEEE
16 years 19 days ago
2005
IEEE
The development of applications for monitoring, control, simulation and diagnosis in the petroleum industry involves a multitude of complex software tools. These tools have their ...
221
Voted
ERSHOV
2009
Springer
15 years 4 months ago
2009
Springer
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...