Amanote Research
Register
Sign In
VerC3: A Library for Explicit State Synthesis of Concurrent Systems
doi 10.23919/date.2018.8342228
Full Text
Open PDF
Abstract
Available in
full text
Date
March 1, 2018
Authors
Marco Elver
Christopher J. Banks
Paul Jackson
Vijay Nagarajan
Publisher
IEEE
Related search
A Library for Removing Cache-Based Attacks in Concurrent Information Flow Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Formal Framework for Specifying Concurrent Systems
International Journal of Computer Applications
Table Space Designs for Implicit and Explicit Concurrent Tabled Evaluation
Theory and Practice of Logic Programming
Hardware
Architecture
Mathematics
Computational Theory
Theoretical Computer Science
Artificial Intelligence
Software
Design of an IP Library for the Synthesis of Image Compression Systems
Journal of Computer Science
Computer Networks
Software
Artificial Intelligence
Communications
Library for Analysis and Synthesis of Control Systems Using the Graphing Calculator
Transactions of the Institute of Systems, Control and Information Engineers
Temporal Debugging for Concurrent Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Type Systems for Concurrent Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Standard Stellar Library for Evolutionary Synthesis
Astronomy and Astrophysics
Astrophysics
Astronomy
Planetary Science
Space
Deadlock-Free Discrete Controller Synthesis for Infinite State Systems
