D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detection, D-Finder applies proof strategies to eliminate potential deadlocks by computing increasingly stronger invariants.

References in zbMATH (referenced in 16 articles )

Showing results 1 to 16 of 16.
Sorted by year (citations)

  1. Bozga, Marius; Iosif, Radu; Sifakis, Joseph: Checking deadlock-freedom of parametric component-based systems (2021)
  2. Antonino, Pedro; Gibson-Robinson, Thomas; Roscoe, A. W.: Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving (2019)
  3. El-Hokayem, Antoine; Falcone, Yliès; Jaber, Mohamad: Modularizing behavioral and architectural crosscutting concerns in formal component-based systems -- application to the behavior interaction priority framework (2018)
  4. Ameur-Boulifa, R.; Henrio, L.; Kulankhina, O.; Madelaine, E.; Savu, A.: Behavioural semantics for asynchronous components (2017)
  5. Evrard, Hugues; Lang, Frédéric: Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous (2017)
  6. Oliveira, Marcel V. M.; Antonino, P.; Ramos, R.; Sampaio, A.; Mota, A.; Roscoe, A. W.: Rigorous development of component-based systems using component metadata and patterns (2016)
  7. Sifakis, Joseph; Bensalem, Saddek; Bliudze, Simon; Bozga, Marius: A theory agenda for component-based design (2015)
  8. Hennicker, Rolf; Knapp, Alexander; Wirsing, Martin: Assembly theories for communication-safe component systems (2014)
  9. Tripakis, Stavros; Shaver, Chris: Feedback in synchronous relational interfaces (2014)
  10. Wang, Rui; Guan, Yong; Liming, Luo; Li, Xiaojuan; Zhang, Jie: Component-based formal modeling of PLC systems (2013)
  11. Bensalem, Saddek; Griesmayer, Andreas; Legay, Axel; Nguyen, Thanh-Hung; Sifakis, Joseph; Yan, Rongjie: D-Finder 2: Towards efficient correctness of incremental design (2011) ioport
  12. Cheng, Chih-Hong; Bensalem, Saddek; Chen, Yu-Fang; Yan, Rongjie; Jobstmann, Barbara; Ruess, Harald; Buckl, Christian; Knoll, Alois: Algorithms for synthesizing priorities in component-based systems (2011)
  13. Cheng, Chih-Hong; Bensalem, Saddek; Jobstmann, Barbara; Yan, Rongjie; Knoll, Alois; Ruess, Harald: Model construction and priority synthesis for simple interaction systems (2011)
  14. Delahaye, Benoît; Caillaud, Benoît; Legay, Axel: Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects (2011)
  15. Bensalem, Saddek; Bozga, Marius; Nguyen, Thanh-Hung; Sifakis, Joseph: D-Finder: a tool for compositional deadlock detection and verification (2009) ioport
  16. Bensalem, Saddek; Bozga, Marius; Sifakis, Joseph; Nguyen, Thanh-Hung: Compositional verification for component-based systems and application (2008)

Further publications can be found at: http://www-verimag.imag.fr/dfinder