Debugging temporal specifications with concept analysis
- 9 May 2003
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 13 references indexed in Scilit:
- A system and language for building system-specific, static analysesPublished by Association for Computing Machinery (ACM) ,2002
- Extended static checking for JavaPublished by Association for Computing Machinery (ACM) ,2002
- ESPPublished by Association for Computing Machinery (ACM) ,2002
- AlloyACM Transactions on Software Engineering and Methodology, 2002
- Mining specificationsPublished by Association for Computing Machinery (ACM) ,2002
- The S LAM projectPublished by Association for Computing Machinery (ACM) ,2002
- BanderaPublished by Association for Computing Machinery (ACM) ,2000
- Model checking for programming languages using VeriSoftPublished by Association for Computing Machinery (ACM) ,1997
- INCREMENTAL CONCEPT FORMATION ALGORITHMS BASED ON GALOIS (CONCEPT) LATTICESComputational Intelligence, 1995
- Restructuring Lattice Theory: An Approach Based on Hierarchies of ConceptsPublished by Springer Science and Business Media LLC ,1982