veriSoft

VeriSoft automatically searches for coordination problems (deadlocks, etc.) and assertion violations in a software system by generating, controlling, and observing the possible executions and interactions of all its components. It integrates automatic test generation, execution and evaluation in a single framework. VeriSoft includes an interactive graphical simulator that can drive existing debuggers for examining precisely the concurrent execution of multiple processes.


References in zbMATH (referenced in 84 articles , 1 standard article )

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

1 2 3 4 5 next

  1. Abdulla, Parosh Aziz; Aronis, Stavros; Atig, Mohamed Faouzi; Jonsson, Bengt; Leonardsson, Carl; Sagonas, Konstantinos: Stateless model checking for TSO and PSO (2017)
  2. Gligoric, Milos; Majumdar, Rupak: Model checking database applications (2013)
  3. Köpf, Boris; Rybalchenko, Andrey: Automation of quantitative information-flow analysis (2013)
  4. Choppy, Christine; Dedova, Anna; Evangelista, Sami; Klaï, Kaïs; Petrucci, Laure; Youcef, Samir: Modelling and formal verification of the NEO protocol (2012) ioport
  5. Cimatti, Alessandro; Narasamdya, Iman; Roveri, Marco: Software model checking with explicit scheduler and symbolic threads (2012)
  6. Morse, Everett; Vrvilo, Nick; Mercer, Eric; McCarthy, Jay: Modeling asynchronous message passing for C programs (2012) ioport
  7. Cimatti, Alessandro; Narasamdya, Iman; Roveri, Marco: Boosting lazy abstraction for SystemC with partial order reduction (2011)
  8. Gaudel, Marie-Claude: Checking models, proving programs, and testing systems (2011) ioport
  9. Wang, Chao; Kundu, Sudipta; Limaye, Rhishikesh; Ganai, Malay; Gupta, Aarti: Symbolic predictive analysis for concurrent programs (2011)
  10. Böhme, Sascha; Moskal, Michał; Schulte, Wolfram; Wolff, Burkhart: HOL-Boogie -- an interactive prover-backend for the verifying C compiler (2010)
  11. Bošnački, Dragan; Edelkamp, Stefan: Model checking software: on some new waves and some evergreens (2010) ioport
  12. Buss, Marcio; Brand, Daniel; Sreedhar, Vugranam; Edwards, Stephen A.: A novel analysis space for pointer analysis and its application for bug finding (2010)
  13. Carver, Richard H.; Lei, Yu: A class library for implementing, testing, and debugging concurrent programs (2010) ioport
  14. Harmanci, Derin; Gramoli, Vincent; Felber, Pascal; Fetzer, Christof: Extensible transactional memory testbed (2010)
  15. Kolchin, A.V.: An automatic method for the dynamic construction of abstractions of states of a formal model (2010)
  16. Sutcliffe, Geoff; Benzmüller, Christoph: Automated reasoning in higher-order logic using the TPTP THF infrastructure (2010)
  17. Yang, Yu; Chen, Xiaofang; Gopalakrishnan, Ganesh; Kirby, Robert M.: Distributed dynamic partial order reduction (2010) ioport
  18. Alkassar, Eyad; Bogan, Sebastian; Paul, Wolfgang J.: Proving the correctness of client/server software (2009)
  19. Alkassar, Eyad; Hillebrand, Mark A.; Leinenbach, Dirk C.; Schirmer, Norbert W.; Starostin, Artem; Tsyban, Alexandra: Balancing the load. Leveraging a semantics stack for systems verification (2009)
  20. Blanc, Nicolas; Kroening, Daniel: Speeding up simulation of SystemC using model checking (2009) ioport

1 2 3 4 5 next