Abstract interpretation of reactive systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Making abstract interpretations complete
Journal of the ACM (JACM)
A Symbolic Semantics for Abstract Model Checking
SAS '98 Proceedings of the 5th International Symposium on Static Analysis
Mechanical Abstraction of CSPZ Processes
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Control Code Obfuscation by Abstract Interpretation
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Model-checking Distributed Components: The Vercors Platform
Electronic Notes in Theoretical Computer Science (ENTCS)
Unifying Architectural and Behavioural Specifications of Distributed Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Fast generic model-checking for data-based systems
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
| Hi-index | 0.00 |