254 search results - page 43 / 51 » Model Checking Branching Time Logics |
137
Voted
ICSE
2008
IEEE-ACM
16 years 4 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...
127
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
Noise affects circuit operation by increasing gate delays and causing latches to capture incorrect values. Noise analysis techniques can detect some of such noise faults, but accu...
133
click to vote
BIRTHDAY
2010
Springer
15 years 8 months ago
2010
Springer
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...
119
click to vote
ENTCS
2007
15 years 3 months ago
2007
There have been several research works that analyze and optimize programs using temporal logic. However, no evaluation of optimization time or execution time of these implementati...
120
Voted
ADC
2004
Springer
15 years 8 months ago
2004
Springer
A complete workflow specification requires careful integration of many different process characteristics. Decisions must be made as to the definitions of individual activities, th...