Automated reasoning (2nd ed.): introduction and applications
Automated reasoning (2nd ed.): introduction and applications
Mechanizing programming logics in higher order logic
Current trends in hardware verification and automated theorem proving
A model parametric real-time logic
ACM Transactions on Programming Languages and Systems (TOPLAS)
Validating real-time systems by history-checking TRIO specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formal Methods for Real-Time Computing
Formal Methods for Real-Time Computing
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models
IEEE Transactions on Software Engineering
Towards a Duration Calculus Proof Assistant in PVS
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
Automated Deduction and Formal Methods
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
From formal models to formally based methods: an industrial experience
ACM Transactions on Software Engineering and Methodology (TOSEM)
A formal approach for designing CORBA based applications
Proceedings of the 22nd international conference on Software engineering
Using TAME to prove invariants of automata models: Two case studies
FMSP '00 Proceedings of the third workshop on Formal methods in software practice
Automated deductive requirements analysis of critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Proof assistance for real-time systems using an interactive theorem prover
Theoretical Computer Science
TAME: Using PVS strategies for special-purpose theorem proving
Annals of Mathematics and Artificial Intelligence
Proving Invariants of I/O Automata with TAME
Automated Software Engineering
Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
A formal approach for designing CORBA-based applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Hi-index | 0.00 |