Login / Signup
A collaborative environment for independent verification and validation of software.
Raghu Karinthi
Kankanahalli Srinivas
Sumitra Reddy
Ramana Reddy
Calin Cascaval
Walter Jackson
Srinivasan Venkatraman
Honglan Zheng
Published in:
WETICE (1994)
Keyphrases
</>
collaborative environment
model checking
software systems
software development
formal methods
hardware designs
user interface
computer systems
social networking
data mining
information technology
source code
information systems
multimedia
learning environment