Third Dutch model checking day, Eindhoven, November 7, 2001 : proceedings
This report contains the preliminary proceedings of the third Dutch Model Checking Day, held on 7th November 2001 at the Technische Universiteit Eindhoven. Model checking is an automatic technique for verifying hardware and software systems. The advance of the research in this area in the past few years has lead to a significant improvement of the model checking tools. Successful applications of model checking have been reported in the verification of a wide variety of systems, like complex sequential circuit designs and communication protocols. An important evidence of the great practical pot... Mehr ...
Verfasser: | |
---|---|
Dokumenttyp: | Buch |
Erscheinungsdatum: | 2001 |
Verlag/Hrsg.: |
Technische Universiteit Eindhoven
|
Schlagwörter: | formal languages. formal systems. formal proof of program correctness / model checking / software verification : proceedings |
Sprache: | Englisch |
Permalink: | https://search.fid-benelux.de/Record/base-27062289 |
Datenquelle: | BASE; Originalkatalog |
Powered By: | BASE |
Link(s) : | http://repository.tue.nl/557074 |