Warren A. Hunt, Jr. – författare
Visar alla böcker från författaren Warren A. Hunt, Jr.. Handla med fri frakt och snabb leverans.
1 produkt
1 produkt
Computer Aided Verification
15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings
Häftad, Engelska, 2003
557 kr
Skickas inom 10-15 vardagar
The refereed proceedings of the 15th International Conference on Computer Aided Verification, CAV 2003, held in Boulder, CO, USA in July 2003. The 32 revised full papers and 9 tool papers presented were carefully reviewed and selected from a total of 102 submissions. The papers are organized in topical sections on bounded model checking; symbolic model checking; games, trees, and counters; tools; abstraction; dense time; infinite state systems; applications; theorem proving; automata-based verification; invariants; and explicit model checking.