Cited By
View all- Karna AChen YYu HZhong HZhao J(2018)The role of model checking in software engineeringFrontiers of Computer Science: Selected Publications from Chinese Universities10.1007/s11704-016-6192-012:4(642-668)Online publication date: 1-Aug-2018
- Hagen GTinelli C(2008)Scaling up the formal verification of Lustre programs with SMT-based techniquesProceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design10.5555/1517424.1517439(1-9)Online publication date: 17-Nov-2008
- Hagen GTinelli C(2008)Scaling Up the Formal Verification of Lustre Programs with SMT-Based Techniques2008 Formal Methods in Computer-Aided Design10.1109/FMCAD.2008.ECP.19(1-9)Online publication date: Nov-2008
- Show More Cited By