A Finite-Domain Semantics for Testing Temporal Logic Specifications

Authors:
Alberto Coen-Porisini;Matteo Pradella;Pierluigi San Pietro
Affiliations:
-;-;-
Venue:
FTRTFT '98 Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Year:
1998

Combining UML and formal notations for modelling real-time systems

Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties

Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers

Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Bounded satisfiability checking of metric temporal logic specifications

ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design

Hi-index	0.00