Login / Signup
Process Calculi, from Theory to Practice: Verification Tools.
Gérard Boudol
Valérie Roy
Robert de Simone
Didier Vergamini
Published in:
Automatic Verification Methods for Finite State Systems (1989)
Keyphrases
</>
formal methods
topics covered include
databases
development process
information retrieval
genetic algorithm
artificial intelligence
knowledge base
software tools
theoretical basis