Verifying networks of timed processes
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 298-312
- https://doi.org/10.1007/bfb0054179
Abstract
No abstract availableThis publication has 20 references indexed in Scilit:
- Model-checking for real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Verifying Programs with Unreliable ChannelsInformation and Computation, 1996
- Verifying parameterized networks using abstraction and regular languagesLecture Notes in Computer Science, 1995
- Hybrid automata with finite bisimulationsLecture Notes in Computer Science, 1995
- Reasoning about systems with many processesJournal of the ACM, 1992
- Modeling and verification of time dependent systems using time Petri netsIEEE Transactions on Software Engineering, 1991
- A unified high-level Petri net formalism for time-critical systemsIEEE Transactions on Software Engineering, 1991
- Reduction and covering of infinite reachability treesInformation and Computation, 1990
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- Ordering by Divisibility in Abstract AlgebrasProceedings of the London Mathematical Society, 1952