( en | de | ru )

 

Disambiguation of "Grumberg, Orna"

Author of the publication

copydeleteadd this publication to your clipboard
Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation.

, and . CAV, volume 4144 of Lecture Notes in Computer Science, page 190-204. Springer, (2006)

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. You can also use the button next to the name to display some publications already assigned to the person.

Orna Ehling

Orna Rosen

Magdalena Ornatowska

Frederik Ornau

Adam S Ornatek

 

Other publications of authors with the same name

Synergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201)., , , and . Dagstuhl Reports, 6 (5): 56-71 (2016)Assume, guarantee or repair: a regular framework for non regular properties., , , and . Int. J. Softw. Tools Technol. Transf., 24 (5): 667-689 (2022)"Have I written enough Properties?" - A Method of Comparison between Specification and Implementation., , and . CHARME, volume 1703 of Lecture Notes in Computer Science, page 280-297. Springer, (1999)Network Grammars, Communication Behaviors and Automatic Verification., and . Automatic Verification Methods for Finite State Systems, volume 407 of Lecture Notes in Computer Science, page 151-165. Springer, (1989)Applying Software Model Checking Techniques for Behavioral UML Models., , and . FM, volume 7436 of Lecture Notes in Computer Science, page 277-292. Springer, (2012)Branching-Time Temporal Logic and Tree Automata., and . Inf. Comput., 125 (1): 62-69 (1996)Model checking, 2nd Edition., , , , and . MIT Press, (2018)Verification of the Futurebus+ Cache Coherence Protocol., , , , , , and . CHDL, volume A-32 of IFIP Transactions, page 15-30. North-Holland, (1993)Model checking, , and . MIT Press, Cambridge, Mass., (1999)The Modular Framework of Computer-Aided Verification., and . CAV (DIMACS/AMS volume), volume 3 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 359-380. DIMACS/AMS, (1990)