pavyzdžio tikrinimo

[zhangpengyu]

Labas
vaikinai!

Ar kas nors pasiūlyti gerų knygų apie modelio tikrinimas (vienos rūšies oficialią patikrą)?Ir geri kalbos / įrankiai daryti modelio tikrinimo?
Ačiū!

zhangpengyu

 

[gerryhsu]

Ši knyga padės
Modelio patikrinimas
Edmund M. Clark, Orna Grumberg, Doron A. Peled

Leidėjas: The MIT Press (January 7, 2000)
ISBN: 0262032708

 

[khorram]

Ką norėtumėte sužinoti apie modelio tikrinimas?Jei norite žinoti, kad duomenys, taip knygos tinka Jums:
"T. Kropf, Įvadas į Oficialus aparatūros tikrinimas, Spring-Verlag,
Sausis 2000".
Taip pat galite atsisiųsti disertacija apie McMillan teisę "simbolinio modelio tikrinimas.
Šiame disertacija, bus panašus į CTL kaip žemas nuosavybės kalbą.
Dabar PSL yra standartinė specifikacija kalba, kuri yra atsisiųsti iš interneto.
Jei nori sužinoti apie praktinį nuosavybės kalbomis, ir rekomenduojame jums perskaityti e-kalbos Verisity
Co
Linkėjimai,
KH

 

[wmbasslake]

Skaityti programa ir LEC iš Takt ar formalumas iš Synopsys

 

[negreponte]

Tai geriau naudoti šį vadovą savo programą, kad jūs naudojate kiekvieną kartą