ACSD
2010
IEEE
13 years 9 months ago
2010
IEEE
Abstract--The ANR project SPaCIFY develops a domainspecific programming environment, Synoptic, to engineer embedded software for space applications. Synoptic is an Eclipse-based mo...
ACSD
2010
IEEE
13 years 9 months ago
2010
IEEE
ACSD
2010
IEEE
13 years 9 months ago
2010
IEEE
We extend the partial order reduction algorithm of Clarke et al. [CJM00] to handle branching security protocols, such as optimistic fair exchange protocols. Applications of the pro...