15 search results - page 1 / 3 » Tool Building Requirements for an API to First-Order Solvers |
ENTCS
2006
13 years 4 months ago
2006
Effective formal verification tools require that robust implementations of automatic procedures for first-order logic and satisfiability modulo theories be integrated into express...
WCRE
2000
IEEE
13 years 9 months ago
2000
IEEE
Data interchange in the form of a standard exchange format(SEF) is only a first step towards tool interoperability. Inter-tool communication using files is slow and cumbersome; a ...
IPPS
2008
IEEE
13 years 11 months ago
2008
IEEE
A software system interacts with third-party libraries through various APIs. Insufficient documentation and constant refactorings of third-party libraries make API library reuse ...
KBSE
2007
IEEE
13 years 10 months ago
2007
IEEE
Software developers often do not build software from scratch but reuse software libraries. In theory, the APIs of a library should be stable, but in practice they do change and th...
MODELS
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. A new trend in runtime system monitoring is to utilize MOFbased techniques in analyzing the runtime system data. Approaches and tools have been proposed to automatically ...