Communicating sequential processes
Communicating sequential processes
Executing temporal logic programs
Executing temporal logic programs
Algebraic theory of processes
The Z notation: a reference manual
The Z notation: a reference manual
A classical mind
MFPS '92 Selected papers of the meeting on Mathematical foundations of programming semantics
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
UPPAAL—a tool suite for automatic verification of real-time systems
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
CSP-OZ: a combination of object-Z and CSP
FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Blending Object-Z and Timed CSP: an introduction to TCOZ
Proceedings of the 20th international conference on Software engineering
The Object-Z specification language
The Object-Z specification language
Communicating sequential processes
Communications of the ACM
PLC-automata: a new class of implementable real-time automata
Theoretical Computer Science - Special issue on real-time systems and concurrent and distributed software
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Specifying and Verifying Requirements of Real-Time Systems
IEEE Transactions on Software Engineering
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
Operational and Logical Semantics for Polling Real-Time Systems
FTRTFT '98 Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Model-Checking CSP-OZ Specifications with FDR
IFM '99 Proceedings of the 1st International Conference on Integrated Formal Methods
IFM '99 Proceedings of the 1st International Conference on Integrated Formal Methods
A Set-Theoretic Model for Real-Time Specification and Reasoning
MPC '98 Proceedings of the Mathematics of Program Construction
CSP-OZ-DC: a combination of specification techniques for processes, data and time
Nordic Journal of Computing
Specification and (property) inheritance in CSP-OZ
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Type Checking Circus Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Z-based agents for service oriented computing
AAMAS'07/SOCASE'07 Proceedings of the 2007 AAMAS international workshop and SOCASE 2007 conference on Service-oriented computing: agents, semantics, and engineering
Formal methods and hybrid real-time systems
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
| Hi-index | 0.00 |
We present a new combination CSP-OZ-DC of three well researched formal techniques for the specification of processes, data and time: CSP [18], Object-Z [37], and Duration Calculus [40]. The emphasis is on a smooth integration of the underlying semantic models and its use for verifying properties of CSP-OZ-DC specifications by a combined application of the model-checkers FDR [29] for CSP and UPPAAL [1] for Timed Automata. This approach is applied to part of a case study on radio controlled railway crossings.