@inproceedings{aff6edba7e45436eaabe2d5cd620df32,
title = "Requirements analysis via property-based approach",
abstract = "Defects in requirements specification may have fatal consequences, especially for ultra-critical systems. By using property based modeling and analysis, the distance between natural language and formal verification is significantly narrowed. Model checking could be applied to find flaws in the requirements. For incorrect specification, properties simulation and debugging are helpful for understanding the undesired behavior, hence correcting the specification.",
keywords = "Property specification language, debug, requirements, verification",
author = "Lin Zhao and Tianhua Xu and Wei Zheng",
year = "2012",
language = "英语",
isbn = "9788994364216",
series = "Proceedings - 2012 7th International Conference on Computing and Convergence Technology (ICCIT, ICEI and ICACT), ICCCT 2012",
pages = "1153--1156",
booktitle = "Proceedings - 2012 7th International Conference on Computing and Convergence Technology (ICCIT, ICEI and ICACT), ICCCT 2012",
note = "2012 7th International Conference on Computing and Convergence Technology (ICCIT, ICEI and ICACT), ICCCT 2012 ; Conference date: 03-12-2012 Through 05-12-2012",
}