References in zbMATH (referenced in 63 articles )

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

1 2 3 4 next

  1. Butterfield, Andrew: Utpcalc -- a calculator for UTP predicates (2017)
  2. Kunčar, Ondřej; Popescu, Andrei: Comprehending Isabelle/HOL’s consistency (2017)
  3. Maletzky, Alexander; Windsteiger, Wolfgang: The formalization of Vickrey auctions: a comparison of two approaches in Isabelle and Theorema (2017)
  4. Arthan, Rob: On definitions of constants and types in HOL (2016)
  5. Bengtson, Jesper; Parrow, Joachim; Weber, Tjark: Psi-calculi in Isabelle (2016)
  6. Blanchette, Jasmin Christian; Fleury, Mathias; Weidenbach, Christoph: A verified SAT solver framework with learn, forget, restart, and incrementality (2016)
  7. Esparza, Javier; Křetínský, Jan; Sickert, Salomon: From LTL to deterministic automata. A safraless compositional approach (2016)
  8. Hupel, Lars; Kuncak, Viktor: Translating scala programs to isabelle/HOL. System description (2016)
  9. Maletzky, Alexander: Interactive proving, higher-order rewriting, and theory analysis in Theorema 2.0 (2016)
  10. Heras, Jónathan; Martín-Mateos, Francisco Jesús; Pascual, Vico: Modelling algebraic structures and morphisms in ACL2 (2015)
  11. Pąk, Karol: Improving legibility of formal proofs based on the close reference principle is NP-hard (2015)
  12. Ballarin, Clemens: Locales: a module system for mathematical theories (2014)
  13. Bella, Giampaolo: Inductive study of confidentiality: for everyone (2014) ioport
  14. Hupel, Lars: Interactive simplifier tracing and debugging in Isabelle (2014)
  15. Kahl, Wolfram: A mechanised abstract formalisation of concept lattices (2014)
  16. Matichuk, Daniel; Wenzel, Makarius; Murray, Toby: An Isabelle proof method language (2014)
  17. Pąk, Karol: Improving legibility of natural deduction proofs is not trivial (2014)
  18. Pąk, Karol: Automated improving of proof legibility in the Mizar system (2014)
  19. Stannett, Mike; Németi, István: Using Isabelle/HOL to verify first-order relativity theory (2014)
  20. Stojanović, Sana; Narboux, Julien; Bezem, Marc; Janičić, Predrag: A vernacular for coherent logic (2014)

1 2 3 4 next