Slicing timed systems

Fundamenta Informaticae

Volumn 60, Issue 1-4, 2004, Pages 187-210

  Janowska, Agata ^a   Janowski, Paweł ^a  

^a UNIVERSITY OF WARSAW   (Poland)

Author keywords

Program slicing; Static analysis; System verification; Timed automata; Timed systems

Indexed keywords

AUTOMATA THEORY; BUFFER STORAGE; CODES (SYMBOLS); COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; SOFTWARE ENGINEERING;

PROGRAM SLICING; STATIC ANALYSIS; SYSTEM VERIFICATION; TIMED AUTOMATA; TIMED SYSTEMS;

TIME SHARING SYSTEMS;

EID: 2942716992     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (15)

1. Alur, R., Dill, D.: Automata for Modelling Real-Time Systems, Proc. of the Int. Colloquium on Automata, Languages and Programming (ICALP'90), volume 443 of LNCS, Springer-Verlag, 1990.
2. Bozga, M., Fernandez, J.-C., Ghirvu, L.: Using Static Analysis to Improve Automatic Test Generation, Proc. of the 6th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'00), volume 1785 of LNCS, Springer-Verlag, 2000.
3. Bozga, M., Fernandez, J.-C., Ghirvu, L., Graf, S., Krimm, J., Mounier, L., Sifakis, J.; IF: An Intermediate Representation for SDL and its Applications, Proc. of SDL Forum'99, 1999.
4. Browne, M. C., Clarke, E. M., Grumberg, O.: Characterizing Finite Kripke Structures in Propositional Temporal Logic, Theoretical Computer Science, 59(1/2), 1988.
5. Clarke, E., Emerson, E.: Design and Synthesis of Synchronization Skeletons for Branching-Time Temporal Logic, Proc. of Workshop on Logic of Programs, volume 131 of LNCS, Springer-Verlag, 1981.
6. Dembiński, P., Janowska, A., Janowski, P., Penczek, W., Półrola, A., Szreter, M., Woźna, B., Zbrzezny, A.: VerICS: A Tool for Verifying Timed Automata and Estelle Specifications, Proc. of the 9th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'03), volume 2619 of LNCS, Springer-Verlag, 2003.
7. Doroś, A., Janowska, A., Janowski, P.: From Specification Languages to Timed Automata, Proc. of the Int. Workshop on Concurrency, Specification and Programming (CS&P'02), Informatik-Berichte 161(1), Humboldt University, Berlin, 2002.
8. Dwyer, M., Hatcliff, J., Schmidt, D.: Bandera: Tools for automated reasoning about software systems behaviour, ECRIM News, 36, 1999.
9. Gerth, R., Kuiper, R., Peled, D., Penczek, W.: A Partial Order Approach to Branching Time Logic Model Checking, Proc. of the 3rd Israel Symposium on Theory on Computing and Systems (ISTCS'95), IEEE, 1995.
10. Hatcliff, J., Corbett, J. C., Dwyer, M. B., Sokolowski, S., Zheng, H.: A Formal Study of Slicing for Multi-threaded programs with JVM Concurrency Primitives, Proc. of the Int. Symposium on Static Analysis (SAS'99), 1999.
11. Holzmann, G. J.: The Model Checker SPIN, IEEE Trans. on Software Eng., 23(5), 1997.
12. ISO/IEC 9074(E), Estelle - A Formal Description Technique Based on an Extended State-Transition Model. International Standards Organization, 1997.
13. Millett, L. I., Teitelbaum, T.: Slicing Promela and Its Applications to Model Checking, Simulation and Protocol Understanding, Proc. of the 4th Int. SPIN Workshop (SPIN'98), 1998.
14. Tip, F.: A survey of program slicing techniques, Journal of Programming Languages, 3, 1995.
15. Weiser, M.: Program slicing, IEEE Trans. on Software Eng., 10(4), 1984.