1304 search results - page 165 / 261 » Model Checking C Programs Using F-SOFT |
118
Voted
BMCBI
2007
15 years 3 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 ...
146
click to vote
FSEN
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. ToolBus allows to connect tools via a software bus. Programming is done using the scripting language Tscript, which is based on the process algebra ACP. In previous work ...
144
Voted
CAV
2007
Springer
15 years 9 months ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
162
click to vote
ACSD
2001
IEEE
15 years 7 months ago
2001
IEEE
We present a new way to define the semantics of imperative synchronous languages by means of separating the control and the data flow. The control flow is defined by predicates th...
134
click to vote
ENTCS
2010
15 years 3 months ago
2010
In component-based software engineering, reconfiguration describes structural changes to the architecture of a component system. For stateful components, not only structural but a...