571 search results - page 5 / 115 » From Control Flow to Dataflow |
JISE
1998
13 years 7 months ago
1998
straction reduces the number of states necessary to perform formal verification while maintaining the functionality of the original model with respect to ifications to be verified....
CC
2006
Springer
13 years 11 months ago
2006
Springer
This paper presents a new worklist algorithm that significantly speeds up a large class of flow-sensitive data-flow analyses, including typestate error checking and pointer analysi...
ECRTS
2005
IEEE
14 years 1 months ago
2005
IEEE
Embedded systems are usually an integral component of a larger system and are used to control and/or directly monitor this system by using special hardware devices. The complexity...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
HASE
2008
IEEE
14 years 1 months ago
2008
IEEE
Implementing real-time critical systems is an increasingly complex process that calls for high-level formal programming languages. Existing languages mainly focus on mono-periodic...