References

  1. Wolfgang Ahrendt (2016): Deductive Software Verification - The KeY Book: From Theory to Practice. LNCS 10001. Springer, doi:10.1007/978-3-319-49812-6.
  2. Bernhard Beckert, Thorsten Bormer, Michael Kirsten, Till Neuber & Mattias Ulbrich (2016): Automated Verification for Functional and Relational Properties of Voting Rules. In: Umberto Grandi & Jeffrey S. Rosenschein: Sixth International Workshop on Computational Social Choice (COMSOC 2016), doi:10.5445/IR/1000092712.
  3. Bernhard Beckert, Sarah Grebing & Mattias Ulbrich (2017): An Interaction Concept for Program Verification Systems with Explicit Proof Object. In: Ofer Strichman & Rachel Tzoref-Brill: 13th International Haifa Verification Conference on Hardware and Software (HVC 2017), LNCS 10629. Springer, doi:10.1007/978-3-319-70389-3_11.
  4. Bernhard Beckert, Mattias Ulbrich, Birgit Vogel-Heuser & Alexander Weigl (2015): Regression Verification for Programmable Logic Controller Software. In: Michael J. Butler, Sylvain Conchon & Fatiha Zaïdi: 17th International Conference on Formal Engineering Methods (ICFEM 2015), LNCS 9407, doi:10.1007/978-3-319-25423-4_15.
  5. Michael R. Clarkson & Fred B. Schneider (2010): Hyperproperties. Journal of Computer Security 18(6), doi:10.3233/JCS-2009-0393.
  6. Holger Cleve & Andreas Zeller (2005): Locating Causes of Program Failures. In: Gruia-Catalin Roman, William G. Griswold & Bashar Nuseibeh: 27th International Conference on Software Engineering (ICSE 2005). ACM, doi:10.1145/1062455.1062522.
  7. Alex Groce, Daniel Kroening & Flavio Lerda (2004): Understanding Counterexamples with explain. In: Rajeev Alur & Doron A. Peled: 16th International Conference on Computer Aided Verification (CAV 2004), LNCS 3114. Springer, doi:10.1007/978-3-540-27813-9_35.
  8. Martin Hentschel, Reiner Hähnle & Richard Bubel (2016): The Interactive Verification Debugger: Effective Understanding of Interactive Proof Attempts. In: David Lo, Sven Apel & Sarfraz Khurshid: 31st International Conference on Automated Software Engineering (ASE 2016). ACM, doi:10.1145/2970276.2970292.
  9. Nicholas Jalbert & Koushik Sen (2010): A Trace Simplification Technique for Effective Debugging of Concurrent Programs. In: Gruia-Catalin Roman & André van der Hoek: 18th International Symposium on Foundations of Software Engineering (SIGSOFT FSE 2010). ACM, doi:10.1145/1882291.1882302.
  10. Moritz Kiefer, Vladimir Klebanov & Mattias Ulbrich (2018): Relational Program Reasoning Using Compiler IR - Combining Static Verification and Dynamic Analysis. Journal of Automated Reasoning 60(3), doi:10.1007/s10817-017-9433-5.
  11. Michael Kirsten & Olivier Cailloux (2018): Towards automatic argumentation about voting rules. In: Sandra Bringay & Juliette Mattioli: 4ème conférence sur les Applications Pratiques de l'Intelligence Artificielle (APIA 2018), doi:10.5445/IR/1000092711.
  12. Tian Lan, David T. H. Kao, Mung Chiang & Ashutosh Sabharwal (2010): An Axiomatic Theory of Fairness in Network Resource Allocation. In: 29th International Conference on Computer Communications (INFOCOM 2010). IEEE, doi:10.1109/INFCOM.2010.5461911.
  13. Christoph Scheben & Simon Greiner (2016): Information Flow Analysis. In: Deductive Software Verification - The Ke-0.1emY Book: From Theory to Practice, chapter 13, LNCS 10001. Springer, doi:10.1007/978-3-319-49812-6_13.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org