CARVER: A Slicing Tool for Communicating Automata Specifications.

Sébastien Labbé Arnault Lapitre

Published in: ISoLA (2006)

Keyphrases

finite state machines
programming language
data sets
neural network
cellular automata
finite automata
real time
website
learning environment
object oriented
formal specification
analysis tool