( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Grand Challenge: Model Check Software.

, , и . VISSAS, том 1 из NATO Security through Science Series D: Information and Communication Security, стр. 55-68. IOS Press, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

James Clarke

Anneliese Clarke

Barbara Clarke

Brian Clarke

Kevin Clarke

 

Другие публикации лиц с тем же именем

Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic., и . Logic of Programs, том 131 из Lecture Notes in Computer Science, стр. 52-71. Springer, (1981)Model Checking: Software and Beyond., и . J. Univers. Comput. Sci., 13 (5): 639-649 (2007)Word Level Model Checking - Avoiding the Pentium FDIV Error., , и . DAC, стр. 645-648. ACM Press, (1996)Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking., , , , , , , и . FMCAD, том 1166 из Lecture Notes in Computer Science, стр. 19-33. Springer, (1996)Verifying security protocols with Brutus., , и . ACM Trans. Softw. Eng. Methodol., 9 (4): 443-487 (2000)Grand Challenge: Model Check Software., , и . VISSAS, том 1 из NATO Security through Science Series D: Information and Communication Security, стр. 55-68. IOS Press, (2005)Verification of the Futurebus+ Cache Coherence Protocol., , , , , , и . CHDL, том A-32 из IFIP Transactions, стр. 15-30. North-Holland, (1993)Studies of biological networks with statistical model checking: application to immune system cells., , , и . BCB, стр. 728. ACM, (2013)Efficient SAT solving for non-clausal formulas using DPLL, graphs, and watched cuts., и . DAC, стр. 563-568. ACM, (2009)A SAT-based algorithm for reparameterization in symbolic simulation., , и . DAC, стр. 524-529. ACM, (2004)