Inhaltsangabe
Symbolic trajectory evaluation.- Automated verification with abstract state machines using multiway decision graphs.- Design verification using Synchronized Transitions.- Hardware verification using PVS.- Verifying VHDL designs with COSPAN.- The C@S system: Combining proof strategies for system verification.- Appendix: The common book examples.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
