Automated Proof Support for Interval Logics
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
An Adequate First Order Interval Logic
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Take It NP-Easy: Bounded Model Construction for Duration Calculus
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Completeness of temporal logics over infinite intervals
Discrete Applied Mathematics - Discrete mathematics and theoretical computer science (DMTCS)
Model-checking of specifications integrating processes, data and time
FM'05 Proceedings of the 2005 international conference on Formal Methods
Slicing object-z specifications for verification
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Formalization and analysis of real-time requirements: a feasibility study at BOSCH
VSTTE'12 Proceedings of the 4th international conference on Verified Software: theories, tools, experiments
Hi-index | 0.00 |