## An Optimizing Compiler for Batches of Temporal Logic Formulas (2004)

### Cached

### Download Links

- [iss.cs.cornell.edu]
- [iss.ices.utexas.edu]
- DBLP

### Other Repositories/Bibliography

by
James Ezick

### BibTeX

@MISC{Ezick04anoptimizing,

author = {James Ezick},

title = {An Optimizing Compiler for Batches of Temporal Logic Formulas},

year = {2004}

}

### OpenURL

### Abstract

Model checking based on validating temporal logic formulas has proven practical and e#ective for numerous software engineering applications. As systems based on this approach have become more mainstream, a need has arisen to deal e#ectively with large batches of formulas over a common model. Presently, most systems validate formulas one at a time, with little or no interaction between validation of separate formulas. This is the case despite the fact that, for a wide range of applications, a certain level of redundancy between domain-related formulas can be anticipated. This paper