178
click to vote
CAV
2008
Springer
15 years 9 months ago
2008
Springer
Requirements of reactive systems are usually specified by classifying system executions as desirable and undesirable. To specify prioritized requirements, we propose to associate a...
197
click to vote
CAV
2008
Springer
15 years 9 months ago
2008
Springer
Although there are many efficient algorithms for calculating the simulation preorder on finite Kripke structures, only two have been proposed of which the space complexity is of t...
175
click to vote
CAV
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. We describe a method for synthesizing reasonable underapproximations to weakest preconditions for termination--a long-standing open problem. The paper provides experiment...
161
Voted
CAV
2008
Springer
15 years 9 months ago
2008
Springer
157
Voted
CAV
2008
Springer
15 years 9 months ago
2008
Springer
