80 search results - page 5 / 16 » PVS |
SEFM
2006
IEEE
14 years 2 months ago
2006
IEEE
An optimization can be specified as sequential compositions of predefined transformation primitives. For each primitive, we can define soundness conditions which guarantee that th...
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...
TPHOL
2008
IEEE
14 years 2 months ago
2008
IEEE
TPHOL
2005
IEEE
14 years 2 months ago
2005
IEEE
IPPS
2002
IEEE
14 years 1 months ago
2002
IEEE