VSE: Controlling the Complexity in Formal Software Developments
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
KIV 3.0 for Provably Correct Systems
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
A Sequent Calculus for First-Order Dynamic Logic with Trace Modalities
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
A new logical framework for deductive planning
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Interactive verification of concurrent systems using symbolic execution
AI Communications - Practical Aspects of Automated Reasoning
A formal framework for compositional verification of organic computing systems
ATC'10 Proceedings of the 7th international conference on Autonomic and trusted computing
Ensuring correct self-reconfiguration in safety-critical applications by verified result checking
Proceedings of the 2011 workshop on Organic computing
Hi-index | 0.00 |