FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2281921707> ?p ?o ?g. }

• W2281921707 abstract "Formal methods provide means for rigorously specifying the desired behaviour of a hardware or software system, making a precise model of its actual behaviour, and then verifying whether that actual behaviour corresponds to the specification. My habiliation thesis reports on various contributions to this realm, where my main interest has been on algorithmic aspects. This is motivated by the observation that asymptotic worst-case complexity, often used to characterize the difficulty of algorithmic problems, is only loosely related to the difficulty encountered in solving those problems in practice. The two main types of system I have been working on are pushdown systems and Petri nets. Both are fundamental notions of computation, and both offer, in my opinion, particularly nice opportunities for combining theory and algorithmics. Pushdown systems are finite automata equipped with a stack; since the height of the stack is not bounded, they represent a class of infinite-state systems that model programs with (recursive) procedure calls. Moreover, we shall see that specifying authorizations is another, particularly interesting application of pushdown systems. While pushdown systems are primarily suited to express sequential systems, Petri nets model concurrent systems. My contributions in this area all concern unfoldings. In a nutshell, the unfolding of a net N is an acyclic version of N in which loops have been unrolled. Certain verification problems, such as reachability, have a lower complexity on unfoldings than on general Petri nets." @default.
• W2281921707 created "2016-06-24" @default.
• W2281921707 creator A5040146683 @default.
• W2281921707 date "2013-12-06" @default.
• W2281921707 modified "2023-09-27" @default.
• W2281921707 title "Efficient verification of sequential and concurrent systems" @default.
• W2281921707 cites W111534223 @default.
• W2281921707 cites W145832685 @default.
• W2281921707 cites W1483531824 @default.
• W2281921707 cites W148396834 @default.
• W2281921707 cites W1487158608 @default.
• W2281921707 cites W1488354408 @default.
• W2281921707 cites W1489658028 @default.
• W2281921707 cites W1491036809 @default.
• W2281921707 cites W1493367105 @default.
• W2281921707 cites W1496958170 @default.
• W2281921707 cites W1499442191 @default.
• W2281921707 cites W1510368738 @default.
• W2281921707 cites W1512067769 @default.
• W2281921707 cites W1514446453 @default.
• W2281921707 cites W1517173520 @default.
• W2281921707 cites W1517554512 @default.
• W2281921707 cites W1517885783 @default.
• W2281921707 cites W1518705996 @default.
• W2281921707 cites W1521221596 @default.
• W2281921707 cites W1525816981 @default.
• W2281921707 cites W1527942721 @default.
• W2281921707 cites W1530666383 @default.
• W2281921707 cites W1540068799 @default.
• W2281921707 cites W1540154185 @default.
• W2281921707 cites W1544607874 @default.
• W2281921707 cites W1545371423 @default.
• W2281921707 cites W1551222658 @default.
• W2281921707 cites W1556276302 @default.
• W2281921707 cites W1557750304 @default.
• W2281921707 cites W1559488388 @default.
• W2281921707 cites W1560595963 @default.
• W2281921707 cites W1561267729 @default.
• W2281921707 cites W1568194905 @default.
• W2281921707 cites W1570116272 @default.
• W2281921707 cites W1572058359 @default.
• W2281921707 cites W1586276549 @default.
• W2281921707 cites W1587449012 @default.
• W2281921707 cites W1589224558 @default.
• W2281921707 cites W1594120765 @default.
• W2281921707 cites W1595075780 @default.
• W2281921707 cites W1595179046 @default.
• W2281921707 cites W1598142426 @default.
• W2281921707 cites W1603373871 @default.
• W2281921707 cites W1636538849 @default.
• W2281921707 cites W1648568813 @default.
• W2281921707 cites W1691700263 @default.
• W2281921707 cites W174890186 @default.
• W2281921707 cites W1756000016 @default.
• W2281921707 cites W1759021599 @default.
• W2281921707 cites W1771118579 @default.
• W2281921707 cites W1823865466 @default.
• W2281921707 cites W1842117537 @default.
• W2281921707 cites W1911833263 @default.
• W2281921707 cites W1916795171 @default.
• W2281921707 cites W1943502734 @default.
• W2281921707 cites W1970326465 @default.
• W2281921707 cites W1975629841 @default.
• W2281921707 cites W1975899067 @default.
• W2281921707 cites W1991052229 @default.
• W2281921707 cites W2010582226 @default.
• W2281921707 cites W2019546858 @default.
• W2281921707 cites W2027131958 @default.
• W2281921707 cites W2028065013 @default.
• W2281921707 cites W2029593180 @default.
• W2281921707 cites W2033071128 @default.
• W2281921707 cites W2041613450 @default.
• W2281921707 cites W2042752581 @default.
• W2281921707 cites W2060345611 @default.
• W2281921707 cites W2072146911 @default.
• W2281921707 cites W2080267935 @default.
• W2281921707 cites W2087046173 @default.
• W2281921707 cites W2089139117 @default.
• W2281921707 cites W2099608328 @default.
• W2281921707 cites W2101605758 @default.
• W2281921707 cites W2101936540 @default.
• W2281921707 cites W2104130981 @default.
• W2281921707 cites W2112243500 @default.
• W2281921707 cites W2114873876 @default.
• W2281921707 cites W2117842469 @default.
• W2281921707 cites W2121810837 @default.
• W2281921707 cites W2128453996 @default.
• W2281921707 cites W2132295002 @default.
• W2281921707 cites W2134531431 @default.
• W2281921707 cites W2136543655 @default.
• W2281921707 cites W2142663066 @default.
• W2281921707 cites W2143502475 @default.
• W2281921707 cites W2146549539 @default.
• W2281921707 cites W2147536493 @default.
• W2281921707 cites W2156883715 @default.
• W2281921707 cites W2157464438 @default.
• W2281921707 cites W2158395308 @default.
• W2281921707 cites W2158487182 @default.
• W2281921707 cites W2158812166 @default.
• W2281921707 cites W2160520283 @default.

• next