Open AccessVerification of Distributed Systems via Sequential Emulation
Author(s) -
Luca Di Stefano,
Rocco De Nicola,
Omar Inverso
Publication year - 2022
Publication title -
acm transactions on software engineering and methodology
Language(s) - Uncategorized
Resource type - Journals
SCImago Journal Rank - 0.597
H-Index - 78
eISSN - 1557-7392
pISSN - 1049-331X
DOI - 10.1145/3490387
Subject(s) - computer science , reachability , model checking , emulation , programming language , formal verification , runtime verification , property (philosophy) , formal specification , formal methods , semantics (computer science) , specification language , operational semantics , theoretical computer science , distributed computing , philosophy , epistemology , economics , economic growth
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom