Design verification of sequential machines based on a model checking algorithm of e-free regular temporal logic
Figshare2018
Abstract
Computer Science Department
Related Papers
- → Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings(2004)3 cited
- → Computer aided verification : 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 : proceedings(1999)4 cited
- → Computer-aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990 : proceedings(1991)4 cited
- → Model Checking for Linear Temporal Logic: An Efficient Implementation(1990)1 cited
- → Computer Aided Verification: 6th International Conference, Cav '94, Stanford, California, Usa, June 21-23, 1994 : Proceedings(1994)