Sepideh Asadi

icon indicating a website link http://www.inf.usi.ch/phd/asadi/ icon indicating an email [email protected]

icon company Validas AG icon location Munich, Germany icon location PhD in CS | Software Verification & Testing

Results 1 issues of Sepideh Asadi

Printing CHCs after they have been simplified in Eldarica

18 comment

I ran CHCs of a small java program using Eldarica. With`-log` option I noticed that in preprocessing phase initial 96 clauses were simplified to 9 clauses and then solved. I...