Safe Decomposition of Startup Requirements
171
References
1. Alur, R., Dill, D.L.: A theory of timed automata. Theoretical computer science
126(2), 183–235 (1994)
2. Andr´ e, ´
E.: Parametric Deadlock-Freeness Checking Timed Automata. In: Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium,
Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings. pp. 469–478 (2016).
https://doi.org/10.1007/978-3-319-46750-4 27
3. Andr´ e, ´
E., Chatain, T., Fribourg, L., Encrenaz, E.: An inverse method for parametric timed automata. International Journal of Foundations of Computer Science
20(05), 819–836 (2009)
4. Astefanoaei, L., Rayana, S.B., Bensalem, S., Bozga, M., Combaz, J.: Compositional Invariant Generation for Timed Systems. In: Tools and Algorithms for the
Construction and Analysis of Systems - 20th International Conference, TACAS
2014, Held as Part of the European Joint Conferences on Theory and Practice
of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings. pp.
263–278 (2014). https://doi.org/10.1007/978-3-642-54862-8 18
5. Astefanoaei, L., Rayana, S.B., Bensalem, S., Bozga, M., Combaz, J.: Compositional
Verification of Parameterised Timed Systems. In: NASA Formal Methods - 7th
International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015,
Proceedings. pp. 66–81 (2015). https://doi.org/10.1007/978-3-319-17524-9 6
6. Behrmann, G., David, A., Larsen, K.G., H˚ akansson, J., Pettersson, P., Yi, W.,
Hendriks, M.: Uppaal 4.0 (2006)
7. Cimatti, A., Griggio, A., Magnago, E., Roveri, M., Tonetta, S.: Extending
nuXmv with Timed Transition Systems and Timed Temporal Properties. In:
Computer Aided Verification - 31st International Conference, CAV 2019, New
York City, NY, USA, July 15-18, 2019, Proceedings, Part I. pp. 376–386 (2019).
https://doi.org/10.1007/978-3-030-25540-4 21
8. Cimatti, A., Griggio, A., Magnago, E., Roveri, M., Tonetta, S.: Smt-based satisfiability of first-order ltl with event freezing functions and metric operators (2019)
9. Cimatti, A., Griggio, A., Mover, S., Tonetta, S.: Parameter synthesis with ic3. In:
2013 Formal Methods in Computer-Aided Design. pp. 165–168. IEEE (2013)
10. Cimatti, A., Griggio, A., Mover, S., Tonetta, S.: Verifying LTL Properties of
Hybrid Systems with K-Liveness. In: Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic,
VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings. pp. 424–440 (2014).
https://doi.org/10.1007/978-3-319-08867-9 28
11. Cimatti, A., Griggio, A., Mover, S., Tonetta, S.: Infinite-state invariant checking
with IC3 and predicate abstraction. Formal Methods in System Design 49(3), 190–
218 (2016). https://doi.org/10.1007/s10703-016-0257-4
12. Cimatti, A., Griggio, A., Schaafsma, B.J., Sebastiani, R.: The mathsat5 smt solver.
In: International Conference on Tools and Algorithms for the Construction and
Analysis of Systems. pp. 93–107. Springer (2013)
13. De Alfaro, L., Henzinger, T.A., Stoelinga, M.: Timed interfaces. In: International
Workshop on Embedded Software. pp. 108–122. Springer (2002)
14. De Moura, L., Bjørner, N.: Satisfiability modulo theories: introduction and applications. Communications of the ACM 54(9), 69–77 (2011)
15. Niemel¨ a, I.: Stable models and difference logic. Annals of Mathematics and Artificial Intelligence 53(1-4), 313–329 (2008)
171
References
1. Alur, R., Dill, D.L.: A theory of timed automata. Theoretical computer science
126(2), 183–235 (1994)
2. Andr´ e, ´
E.: Parametric Deadlock-Freeness Checking Timed Automata. In: Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium,
Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings. pp. 469–478 (2016).
https://doi.org/10.1007/978-3-319-46750-4 27
3. Andr´ e, ´
E., Chatain, T., Fribourg, L., Encrenaz, E.: An inverse method for parametric timed automata. International Journal of Foundations of Computer Science
20(05), 819–836 (2009)
4. Astefanoaei, L., Rayana, S.B., Bensalem, S., Bozga, M., Combaz, J.: Compositional Invariant Generation for Timed Systems. In: Tools and Algorithms for the
Construction and Analysis of Systems - 20th International Conference, TACAS
2014, Held as Part of the European Joint Conferences on Theory and Practice
of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings. pp.
263–278 (2014). https://doi.org/10.1007/978-3-642-54862-8 18
5. Astefanoaei, L., Rayana, S.B., Bensalem, S., Bozga, M., Combaz, J.: Compositional
Verification of Parameterised Timed Systems. In: NASA Formal Methods - 7th
International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015,
Proceedings. pp. 66–81 (2015). https://doi.org/10.1007/978-3-319-17524-9 6
6. Behrmann, G., David, A., Larsen, K.G., H˚ akansson, J., Pettersson, P., Yi, W.,
Hendriks, M.: Uppaal 4.0 (2006)
7. Cimatti, A., Griggio, A., Magnago, E., Roveri, M., Tonetta, S.: Extending
nuXmv with Timed Transition Systems and Timed Temporal Properties. In:
Computer Aided Verification - 31st International Conference, CAV 2019, New
York City, NY, USA, July 15-18, 2019, Proceedings, Part I. pp. 376–386 (2019).
https://doi.org/10.1007/978-3-030-25540-4 21
8. Cimatti, A., Griggio, A., Magnago, E., Roveri, M., Tonetta, S.: Smt-based satisfiability of first-order ltl with event freezing functions and metric operators (2019)
9. Cimatti, A., Griggio, A., Mover, S., Tonetta, S.: Parameter synthesis with ic3. In:
2013 Formal Methods in Computer-Aided Design. pp. 165–168. IEEE (2013)
10. Cimatti, A., Griggio, A., Mover, S., Tonetta, S.: Verifying LTL Properties of
Hybrid Systems with K-Liveness. In: Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic,
VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings. pp. 424–440 (2014).
https://doi.org/10.1007/978-3-319-08867-9 28
11. Cimatti, A., Griggio, A., Mover, S., Tonetta, S.: Infinite-state invariant checking
with IC3 and predicate abstraction. Formal Methods in System Design 49(3), 190–
218 (2016). https://doi.org/10.1007/s10703-016-0257-4
12. Cimatti, A., Griggio, A., Schaafsma, B.J., Sebastiani, R.: The mathsat5 smt solver.
In: International Conference on Tools and Algorithms for the Construction and
Analysis of Systems. pp. 93–107. Springer (2013)
13. De Alfaro, L., Henzinger, T.A., Stoelinga, M.: Timed interfaces. In: International
Workshop on Embedded Software. pp. 108–122. Springer (2002)
14. De Moura, L., Bjørner, N.: Satisfiability modulo theories: introduction and applications. Communications of the ACM 54(9), 69–77 (2011)
15. Niemel¨ a, I.: Stable models and difference logic. Annals of Mathematics and Artificial Intelligence 53(1-4), 313–329 (2008)