Author:
Luo Weibin,Washizaki Hironori,Fukazawa Yoshiaki
Publisher
Springer International Publishing
Reference18 articles.
1. McMillan, K.L.: Symbolic Model Checking, pp. 25–60. Symbolic Model Checking. Springer, Boston, MA (1993)
2. Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer Science & Business Media (2012)
3. Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state c oncurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst. (TOPLAS) 8(2), 244–263 (1986)
4. De Nicola, R., Fantechi, A., Gnesi, S., Ristori, G.: An action-based framework for veryfying logical and behavioural properties of concurrent systems. Comput. Netw. ISDN Syst. 25(7), 761–778 (1993)
5. Hassine, J., Rilling, J., Dssouli, R.: Use Case Maps as a property specification language. Softw. & Syst. Model., pp. 205–220 (2009)