1304 search results - page 206 / 261 » Model Checking C Programs Using F-SOFT |
130
Voted
APLAS
2006
ACM
15 years 6 months ago
2006
ACM
Abstract. Static analyses calculate abstract states, and their logics validate properties of the abstract states. We place into perspective the variety of forwards, backwards, func...
127
Voted
ICSE
1997
IEEE-ACM
15 years 6 months ago
1997
IEEE-ACM
—Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, ...
120
click to vote
SAC
2006
ACM
15 years 2 months ago
2006
ACM
We propose a simple programming language, called Nemo, specific to the domain of multi-task real-time embedded systems, such as in robotic, automotive or avionics systems. It can ...
105
Voted
ISLPED
2004
ACM
15 years 8 months ago
2004
ACM
Mobile, battery-powered devices such as personal digital assistants and web-enabled mobile phones have successfully emerged as new access points to the world’s digital infrastru...
134
Voted
PPSWR
2005
Springer
15 years 8 months ago
2005
Springer
The CTTN-system is a computer program which provides advanced processing or temporal notions. The basic data structures of the CTTN-system are time points, crisp and fuzzy time int...