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)
TAME: Using PVS strategies for special-purpose theorem proving
Annals of Mathematics and Artificial Intelligence
CREWS-SAVRE: Scenarios for Acquiring and Validating Requirements
Automated Software Engineering
Proving Invariants of I/O Automata with TAME
Automated Software Engineering
Assertion-Based Analysis of Hybrid Systems with PVS
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
Inclusion dynamics hybrid automata
Information and Computation
Hi-index | 0.01 |