Debugging temporal specifications with concept analysis
- 9 May 2003
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 182-195
- https://doi.org/10.1145/781131.781152
Abstract
No abstract availableThis publication has 12 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 Nature ,1982