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

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

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