A finite-domain semantics for testing temporal logic specifications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1486, Issue , 1998, Pages 41-54

  Coen Porisini, Alberto ^a   Pradella, Matteo ^a   Pietro, Pierluigi San ^a  

^a POLITECNICO DI MILANO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER CIRCUITS; FAULT TOLERANCE; INTERACTIVE COMPUTER SYSTEMS; RECONFIGURABLE HARDWARE; SEMANTICS; SPECIFICATIONS; TEMPORAL LOGIC;

FINITE DOMAINS; METRIC TEMPORAL LOGIC; TEMPORAL LOGIC SPECIFICATIONS; TEMPORAL OPERATORS; TESTING TOOLS;

REAL TIME SYSTEMS;

EID: 84958658313     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0055335     Document Type: Conference Paper

References (10)

1. R. Alur and T.A. Henzinger: Logics and Models of Real-Time: A Survey. Proc. Of REX Workshop-Real-Time: Theory and Practice, Mook, The Netherlands, June 1991, LNCS 600, Springer Verlag, New York, 1992, pp. 74-106.
2. M. Basso, E. Ciapessoni, E. Crivelli, D. Mandrioli, A. Morzenti, P. San Pietro: Experimenting a Logic-based Approach to the Specification and Design of the Control System of a Pondage Power Plant. M. Wirsing (ed.), ICSE-17 Workshop on Formal Methods Application in Softw. Eng. Practice, Seattle, WA, April 1995.
3. E. Ciapessoni, E. Corsetti, A. Montanari, P. San Pietro: Embedding Time Granularity in a Logical Specification Language for Synchronous Real-Time Systems. Science of Computer Programming, 20(1993), pp. 141-171, Elsevier Publishing, Amsterdam, 1993.
4. M. Felder, A. Morzenti: Validating real-time systems by history-checking TRIO specifications. ACM TOSEM-Transactions On Software Engineering and Methodologies, vol.3, n.4, October 1994
5. C. Ghezzi, D. Mandrioli, and A. Morzenti: TRIO, a logic language for executable specifications of real-time systems. Journal of Systems and Software 12, 2 (May 1990), 107-123.
6. A. Morzenti, and P. San Pietro: Object oriented logic specification of time-critical systems. ACM TOSEM, Vol. 3, n. 1, January 1994, pp. 56-98.
7. A. Morzenti, D. Mandrioli, and C. Ghezzi: A Model Parametric Real-Time Logic. ACM Transactions on Programming Languages and Systems 14, 4 (October 1992), 521-573.
8. D. Mandrioli, S. Morasca, A. Morzenti: Generating Test Cases for Real-Time Systems from Logic Specifications. ACM Trans. On Computer Systems, Vol. 13, No. 4, November 1995. pp.365-398.
9. S. Morasca, A. Morzenti, P. San Pietro: Generating b-hnctional Test Cases in-thelarge for Time-critical Systems from Logic-based Specifications. Proc. of ISSTA 1996, ACM-SIGSOFT International Symposium on Software Testing and Analysis, Jan. 1996, San Diego, CA.
10. A. Urquhart: Many valued Logic. D. Gabbay and F. Guenthner (eds), Handbook of Philosophical Logic, Vol. III, Kluwer, London, 1986.