2875 search results - page 188 / 575 » Model checking agentspeak |
48
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
136
click to vote
CSL
2006
Springer
15 years 3 months ago
2006
Springer
Model-checking problems for PDL (propositional dynamic logic) and its extension PDL (which includes the intersection operator on programs) over various classes of infinite state sy...
IFE
2008
15 years 3 months ago
2008
ENTCS
2006
15 years 3 months ago
2006
100
click to vote
ENTCS
2006
15 years 3 months ago
2006
In this paper we investigate how formal software verification systems can be improved by utilising parallel assignment in weakest precondition computations.