161
click to vote
SPIN
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Simultaneous reachability analysis SRA is a recently proposed approach to alleviating the state space explosion problem in reachability analysis of concurrent systems. Th...
128
Voted
CHI
1995
ACM
15 years 7 months ago
1995
ACM
We describe “Belvedere,” a system to support students engaged in critical discussion of science and public policy issues. The design is intended to address cognitive and metac...
122
click to vote
SPIN
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...
135
click to vote
SPIN
2000
Springer
15 years 7 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...
153
click to vote
CHI
1995
ACM
15 years 7 months ago
1995
ACM
We report tindings from an observational study on the nature of interruptions in the workplace. The results show that in most cases, (64”A), the recipient received some benefit ...