Login / Signup
Leveraging rust types for modular specification and verification.
Vytautas Astrauskas
Peter Müller
Federico Poli
Alexander J. Summers
Published in:
Proc. ACM Program. Lang. (2019)
Keyphrases
</>
formal methods
formal verification
asynchronous circuits
model checking
protocol specification
information systems
high level
real time
digital libraries
person identification
temporal logic
user defined
learning environment
data structure
website
knowledge base
data sets