D-Finder

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 12 articles )

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

  1. Ameur-Boulifa, R.; Henrio, L.; Kulankhina, O.; Madelaine, E.; Savu, A.: Behavioural semantics for asynchronous components (2017)
  2. Evrard, Hugues; Lang, Frédéric: Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous (2017)
  3. 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)
  4. Sifakis, Joseph; Bensalem, Saddek; Bliudze, Simon; Bozga, Marius: A theory agenda for component-based design (2015)
  5. Hennicker, Rolf; Knapp, Alexander; Wirsing, Martin: Assembly theories for communication-safe component systems (2014)
  6. Tripakis, Stavros; Shaver, Chris: Feedback in synchronous relational interfaces (2014)
  7. Wang, Rui; Guan, Yong; Liming, Luo; Li, Xiaojuan; Zhang, Jie: Component-based formal modeling of PLC systems (2013)
  8. Bensalem, Saddek; Griesmayer, Andreas; Legay, Axel; Nguyen, Thanh-Hung; Sifakis, Joseph; Yan, Rongjie: D-Finder 2: Towards efficient correctness of incremental design (2011) ioport
  9. Cheng, Chih-Hong; Bensalem, Saddek; Jobstmann, Barbara; Yan, Rongjie; Knoll, Alois; Ruess, Harald: Model construction and priority synthesis for simple interaction systems (2011)
  10. 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)
  11. Bensalem, Saddek; Bozga, Marius; Nguyen, Thanh-Hung; Sifakis, Joseph: D-Finder: a tool for compositional deadlock detection and verification (2009) ioport
  12. 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