27 search results - page 6 / 6 » Automatic Abstraction in Symbolic Trajectory Evaluation |
JIIS
2000
13 years 5 months ago
2000
Abstract. A paper document processing system is an information system component which transforms information on printed or handwritten documents into a computer-revisable form. In ...
CADE
2009
Springer
14 years 1 days ago
2009
Springer
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for ...