Author:
Disenfeld Cynthia,Katz Shmuel
Publisher
Springer International Publishing
Reference35 articles.
1. NuSMV. http://nusmv.fbk.eu/
2. SMT. http://ultimate.informatik.uni-freiburg.de/smtinterpol/
3. Allan, C., Avgustinov, P., Christensen, A.S., Hendren, L., Kuzins, S., Lhoták, O., De Moor, O., Sereni, D., Sittampalam, G., Tibble, J.: Adding trace matching with free variables to AspectJ. ACM SIGPLAN Not. 40, 345–364 (2005)
4. Alpern, B., Schneider, F.B.: Recognizing safety and liveness. Distrib. Comput. 2(3), 117–126 (1987)
5. Lecture Notes in Computer Science;T Ball,2001