On Temporal and Separation Logics
Work
Year: 2018
Type: preprint
Abstract: There exist many success stories about the introduction of logics designed for the formal verification of computer systems. Obviously, the introduction of temporal logics to computer science has been ... more
Author Stéphane Demri
Institution Laboratoire Spécification et Vérification
Cites:
Cited by:
Related to: 10
Citation percentile (by year/subfield):
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green