Handbook of automated reasoning
Compositional Verification of Middleware-Based Software Architecture Descriptions
Proceedings of the 26th International Conference on Software Engineering
Verification of distributed programs using representative interleaving sequences
Distributed Computing
PLTL-partitioned model checking for reactive systems under fairness assumptions
ACM Transactions on Embedded Computing Systems (TECS)
Saturation for a General Class of Models
IEEE Transactions on Software Engineering
Partitioned PLTL model-checking for refined transition systems
Information and Computation
Reducing software architecture models complexity: a slicing and abstraction approach
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Hi-index | 0.00 |