1895 search results - page 119 / 379 » Using ATL for Checking Models |
129
click to vote
APSEC
2005
IEEE
15 years 10 months ago
2005
IEEE
Exception handling design is an important but difficult subject in software development. In Java software development, the use of checked exceptions exacerbates the difficulty. In...
109
click to vote
BMVC
2000
15 years 6 months ago
2000
This paper investigates the use of the Space Carving algorithm with outdoor image sequences, using a lambertian lighting model. A new consistency function is proposed that uses a ...
147
Voted
TACAS
1998
Springer
15 years 9 months ago
1998
Springer
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
174
click to vote
TYPES
1993
Springer
15 years 9 months ago
1993
Springer
Abstract. A data link protocol developed and used by Philips Electronics is modeled and veri ed using I/O automata theory. Correctness is computer-checked with the Coq proof develo...
161
click to vote
CAV
2006
Springer
15 years 8 months ago
2006
Springer
We propose and evaluate a new algorithm for checking the universality of nondeterministic finite automata. In contrast to the standard algorithm, which uses the subset construction...