Specifying mode requirements of embedded systems
ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
Structuring Real-Time Object-Z Specifications
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
An Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
A verification system for timed interval calculus
Proceedings of the 30th international conference on Software engineering
Refactoring Real-time Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Extending Formal Methods for Software-Intensive Systems
Software-Intensive Systems and New Computing Paradigms
A verification system for interval-based specification languages
ACM Transactions on Software Engineering and Methodology (TOSEM)
A stepwise development process for reasoning about the reliability of real-time systems
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Machine-assisted proof support for validation beyond Simulink
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Applying timed interval calculus to simulink diagrams
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
| Hi-index | 0.00 |
This paper shows how familiar mathematical concepts from differential and integral calculus can be represented in the Z specification language. Digital computer systems involve hardware devices and software variables that can adopt a limited range of values only, and may be temporarily inaccessible or ill-defined. Emphasis is therefore given to supporting discrete range types and partial functions.