Verification Column
Abstract
Index Terms
- Verification Column
Recommendations
Verification Column
Temporal logics for hyper properties provide an elegant way to express properties of sets of executions traces. In contrast to classical temporal logics like LTL or CTL, they can express relations of individual execution traces of a system. Among others, ...
Automata column
A central problem of logic in computer science is finding logics for which the satisfiability problem is decidable. A famous non-example is first-order logic, for which satisfiability is undecidable. One method to avoid such undecidability is to find ...
Semantics column
In this quarter's column, Andrzej Murawski and Nikos Tzevelekos offer us an invitation to game semantics. This approach to giving semantics originated in work of the philosopher and mathematician Paul Lorenzen in the late 1950s [10], who viewed the ...
Comments
Information & Contributors
Information
Published In
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Qualifiers
- Research-article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 8Total Downloads
- Downloads (Last 12 months)7
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in