| Document Date: 2013-02-13 07:24:13
Open Document File Size: 486,20 KBShare Result on Facebook
City Ramsey / The Ramsey / / Facility University of Kassel Abstract / B. Building / / IndustryTerm prototype tool / inclusion-checking algorithms / finitestate systems / presented algorithms / finite-state systems / software model checking / least solution / nested depth-first search / / Organization UNIV for VPAs / / Person Martin Lange / Felix Klaedtke / Ai / Oliver Friedmann / / / Technology resulting algorithm / so-called Ramsey-based inclusion-checking algorithms / so-called Ramseybased algorithms / presented algorithm / presented algorithms / 1 The Ramsey-based algorithms / /
SocialTag |
Ramsey Goes Visibly Pushdown Oliver Friedmann1 , Felix Klaedtke2 , and Martin Lange3 1 LMU Munich, 2 ETH Zurich, and 3 University of Kassel