1304 search results - page 83 / 261 » Model Checking C Programs Using F-SOFT |
92
Voted
CAV
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We address the verification problem of programs manipulating oneselector linked data structures. We propose a new automated approach for checking safety and termination f...
167
Voted
ENTCS
2007
15 years 2 months ago
2007
We lay down plans to study how Inductive Reasoning Ability (IRA) affects the analyzing and understanding of Program Visualization (PV) systems. Current PV systems do not take int...
96
Voted
HASE
2007
IEEE
15 years 9 months ago
2007
IEEE
In order to facilitate incremental modeling and analysis of fault-tolerant embedded systems, we introduce an object analysis pattern, called the detector pattern, that provides a ...
126
Voted
ILP
2007
Springer
15 years 8 months ago
2007
Springer
The management of business processes has recently received a lot of attention. One of the most interesting problems is the description of a process model in a language that allows ...
117
click to vote
TACAS
2009
Springer
15 years 9 months ago
2009
Springer
Reference counting is a widely-used resource management idiom which maintains a count of references to each resource by incrementing the count upon an acquisition, and decrementing...