2875 search results - page 177 / 575 » Model checking agentspeak |
110
Voted
ATVA
2007
Springer
15 years 7 months ago
2007
Springer
121
click to vote
ECTEL
2007
Springer
15 years 7 months ago
2007
Springer
When a curriculum is proposed, it is important to verify at least three aspects: that the curriculum allows the achievement of the user's learning goals, that the curriculum i...
116
click to vote
CAV
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We consider the verification of parameterized Boolean proabstractions of shared-memory concurrent programs with an unbounded number of threads. We propose that such prog...
111
click to vote
ICECCS
2007
IEEE
15 years 7 months ago
2007
IEEE
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...