Formal Refinement and Model Checking of an Echo Cancellation Unit
Proceedings of the conference on Design, automation and test in Europe - Volume 3
Combined formal refinement and model checking for real-time systems verification
Languages for system specification
Combining ACL2 and an automated verification tool to verify a multiplier
ACL2 '06 Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications
A SAT-based procedure for verifying finite state machines in ACL2
ACL2 '06 Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications
Transformation and Verification of Executable UML Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Verifying security properties of internet protocol stacks: The split verification approach
Journal of Systems Architecture: the EUROMICRO Journal
A SAT-based decision procedure for the subclass of unrollable list formulas in ACL2 (SULFA)
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
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
Integration of bounded model checking and deductive verification
FoVeOOS'11 Proceedings of the 2011 international conference on Formal Verification of Object-Oriented Software
Compliance checking of integrated business processes
Data & Knowledge Engineering
| Hi-index | 0.00 |