# Vinciane Lovinfosse

- Citations Per Year

- Citations Per Year

- Full text PDF available (2)

1989

2014

- This year (0)
- Last 5 years (1)
- Last 10 years (1)

Learn More

- Pierre Wolper, Vinciane Lovinfosse
- Automatic Verification Methods for Finite State…
- 1989

If a system is built from a large number of identical finite-state processes, it seems intuitively obvious that, with the help of “a little induction”, the verification of such a system can be reduced to a finite-state problem. The difficulty is to find the right form of “a little induction”. There have been several attempts to address this problem in the… (More)

- ‹
- 1
- ›