A Survey of Tools for Model Checking and Model-Based Development
ReportAuthors:Strunk, Elisabeth, Department of Computer ScienceUniversity of Virginia Aiello, Anthony, Department of Computer ScienceUniversity of Virginia Knight, John, Department of Computer ScienceUniversity of Virginia
Rights:
All rights reserved (no additional license for public reuse)
All rights reserved (no additional license for public reuse)
Language:
English
English
Source Citation:
Strunk, Elisabeth, Anthony Aiello, and John Knight. "A Survey of Tools for Model Checking and Model-Based Development." University of Virginia Dept. of Computer Science Tech Report (2006).
Publisher:
University of Virginia, Department of Computer Science
University of Virginia, Department of Computer Science
Published Date:
2006
2006