1304 search results - page 106 / 261 » Model Checking C Programs Using F-SOFT |
149
click to vote
WCE
2007
15 years 4 months ago
2007
—The genetic programming approach is applied to the problem of aircraft autolanding, subject to wind disturbances. The derived control law is tested successfully, using a lineari...
108
click to vote
ADAEUROPE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...
139
click to vote
SPIN
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
143
Voted
EMSOFT
2006
Springer
15 years 4 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
125
click to vote
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
Programming forums are becoming the primary tools for programmers to find answers for their programming problems. Our empirical study of popular programming forums shows that the...