10870 search results - page 149 / 2174 » Model Checking Programs |
101
Voted
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
In this paper we develop a methodology for treating the problem of scheduling partially-ordered tasks on parallel machines. Our framework is based on the timed automaton model, or...
AIEDU
2005
15 years 1 months ago
2005
This paper describes a Simulated Student architecture designed to detect and avoid three situations that decrease the benefits of learning in collaboration. These are off-topic con...
150
Voted
ICFEM
2010
Springer
15 years 6 days ago
2010
Springer
We present an algorithm based on temporal-epistemic model checking combined with fault injection to analyse automatically the diagnosability of faults by agents in the system. We d...
ACSD
2006
IEEE
15 years 7 months ago
2006
IEEE
A schedule of a Petri Net (PN) represents a set of firing sequences that can be infinitely repeated within a bounded state space, regardless of the outcomes of the nondeterminis...
122
click to vote
VSTTE
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...