![]() 6(1), 97–123 (1995)ĭalsgaard, A.E., Enevoldsen, S., Fogh, P., Jensen, L.S., Jepsen, T.S., Kaufmann, I., Larsen, K.G., Nielsen, S.M., Olesen, M.C., Pastva, S., Srba, J.: Extended dependency graphs and efficient distributed fixed-point computation. (TOPLAS) 8(2), 244–263 (1986)Ĭorbett, J.C., Avrunin, G.S.: Using integer programming to verify general safety and liveness properties. ACM 52(11), 74–84 (2009)Ĭlarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. Ĭlarke, E.M., Emerson, E.A., Sifakis, J.: Model checking: algorithmic verification and debugging. Ĭlarke, E.M., Emerson, E.A.: Design and synthesis of synchronization skeletons using branching time temporal logic. Eindhoven University of Technology (2004)īlondin, M., Finkel, A., Haase, C., Haddad, S.: Approaching the coverability problem continuously. 17(11), 1204–1222 (1991)īerkelaar, M., Eikland, K., Notebaert, P., et al.: lpsolve: open source (mixed-integer) linear programming system. Īvrunin, G.S., Buy, U.A., Corbett, J.C., Dillon, L.K., Wileden, J.C.: Automated analysis of concurrent systems with the constrained expression toolset. Avrunin, G.S., Buy, U.A., Corbett, J.C.: Integer programming in the analysis of concurrent systems.
0 Comments
Leave a Reply. |