1346 search results - page 9 / 270 » Alternating-time dynamic logic |
105
click to vote
VSTTE
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
EUSFLAT
2009
14 years 9 months ago
2009
185
Voted
ECOOP
2009
Springer
16 years 9 days ago
2009
Springer
The dynamic frames approach has proven to be a powerful formalism for specifying and verifying object-oriented programs. However, it requires writing and checking many frame annota...
87
Voted
IJIT
2004
15 years 1 months ago
2004
This paper analyses the performance of a genetic algorithm using a new concept, namely a fractional-order dynamic fitness function, for the synthesis of combinational logic circuit...
120
click to vote
CADE
2001
Springer
15 years 12 months ago
2001
Springer
The modalities of Dynamic Logic refer to the final state of a program execution and allow to specify programs with pre- and postconditions. In this paper, we extend Dynamic Logic w...