10.1145/2430536.2430537ACM Transactions on Software Engineering and Methodology221ATSM
The correctness of safety-critical embedded software is crucial, whereas non-functional proper-ties ...
We present a new model-checking technique for CSP-OZ-DC, a combination of CSP, Object-Z and Duration...
ftp.cs.yorku.ca:/pub/TECH-REPORTS/General-CS/CS-ETR-94-07/text.ps2.Z Abstract: StateTime is a protot...
Modeling and verifying complex real-time systems are challenging research problems. The de facto app...
Modeling and verifying complex real-time systems, involving timing delays, are notori-ously difficul...
10.1145/1882291.1882350Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engin...
10.1007/978-3-642-10373-5_30Lecture Notes in Computer Science (including subseries Lecture Notes in ...
The development of digital systems is particularly challenging, if their correctness depends on the ...
Abstract Modeling and verifying complex real-time systems, involving tim-ing delays, are notoriously...
10.1007/978-3-642-34281-3_28Lecture Notes in Computer Science (including subseries Lecture Notes in ...
Abstract. Stateful Timed CSP has been recently proposed to model (and verify) hierarchical real-time...
Abstract:- The paper describes model checking for reactive systems with timing constraints. Model of...
Abstract. We present a new model-checking technique for CSP-OZ-DC, a com-bination of CSP, Object-Z a...
We present a framework for formal verification of a realtime extension of UML statecharts. For clar...
This paper proposes a methodology for the development of distributed real-time (RT) systems using th...
The correctness of safety-critical embedded software is crucial, whereas non-functional proper-ties ...
We present a new model-checking technique for CSP-OZ-DC, a combination of CSP, Object-Z and Duration...
ftp.cs.yorku.ca:/pub/TECH-REPORTS/General-CS/CS-ETR-94-07/text.ps2.Z Abstract: StateTime is a protot...
Modeling and verifying complex real-time systems are challenging research problems. The de facto app...
Modeling and verifying complex real-time systems, involving timing delays, are notori-ously difficul...
10.1145/1882291.1882350Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engin...
10.1007/978-3-642-10373-5_30Lecture Notes in Computer Science (including subseries Lecture Notes in ...
The development of digital systems is particularly challenging, if their correctness depends on the ...
Abstract Modeling and verifying complex real-time systems, involving tim-ing delays, are notoriously...
10.1007/978-3-642-34281-3_28Lecture Notes in Computer Science (including subseries Lecture Notes in ...
Abstract. Stateful Timed CSP has been recently proposed to model (and verify) hierarchical real-time...
Abstract:- The paper describes model checking for reactive systems with timing constraints. Model of...
Abstract. We present a new model-checking technique for CSP-OZ-DC, a com-bination of CSP, Object-Z a...
We present a framework for formal verification of a realtime extension of UML statecharts. For clar...
This paper proposes a methodology for the development of distributed real-time (RT) systems using th...
The correctness of safety-critical embedded software is crucial, whereas non-functional proper-ties ...
We present a new model-checking technique for CSP-OZ-DC, a combination of CSP, Object-Z and Duration...
ftp.cs.yorku.ca:/pub/TECH-REPORTS/General-CS/CS-ETR-94-07/text.ps2.Z Abstract: StateTime is a protot...
DOI
Add to ORKG