Using PVS to Prove Properties of Systems Modelled in a Synchronous Dataflow Language.

Sanjai Rayadurgam Anjali Joshi Mats Per Erik Heimdahl

Published in: ICFEM (2003)

Keyphrases

building blocks
machine learning
expert systems
retrieval systems
desirable characteristics
data sets
case study
natural language
software engineering
computing systems
formal languages
highly modular