Alt-Ergo

Alt-Ergo is an automatic solver for mathematical formulas, specifically designed for program verification. It is based on satisfiability modulo… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
An anionic conjugated polyelectrolyte poly[(9,9-bis(4-sulfonatobutyl sodium) f luorene-altphenylene)-ran-(4,7-di-2-thienyl-2,1,3… (More)
Is this relevant?
2016
2016
Due to undecidability and complexity of first-order logic, SMT solvers may not terminate on some problems or require a very long… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2015
2015
The pedicled anterolateral thigh flap (ALT) has gained importance in perineal reconstruction. Especially, the combination with… (More)
  • figure 2
  • figure 1
Is this relevant?
2014
2014
In this paper, we present recent developments in the AltErgo SMT-solver to e ciently discharge proof obligations (POs) generated… (More)
Is this relevant?
2013
2013
In this paper, we describe a collaborative framework for reasoning modulo simple properties of non-linear integer arithmetic… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2013
2013
  • ongxiang Yaoa, Yong Liub, +6 authors Tianzi Jiangb
  • 2013
Alzheimer’s disease (AD), the most common cause of dementia, is thought to be a progressive neurodegenerative disease that is… (More)
  • figure 1
  • table 1
  • figure 2
  • table 2
  • table 3
Is this relevant?
2008
2008
Separation logic is a popular approach for specifying properties of recursive mutable data structures. Several existing systems… (More)
  • figure 2
  • figure 5
  • figure 7
Is this relevant?
2007
2007
We present experimental results obtained from photoioniza tion and photodissociation processes of abundant interstellar CH 3-X… (More)
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • table 2
Is this relevant?