Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
formal methods
Papers
Machine-Assisted Reformulation for MiniZinc
Huu-Phuc Vo
EasyChair Preprint no. 1731
Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing between Black-Box Components
Robin Adams
and
Sibylle Schupp
EasyChair Preprint no. 425
More Automated Formal Methods?! If so, why, where & how?
Arun Chakrapani Rao
In
:
Automated Formal Methods
The MINERVA Software Development Process
Anthony Narkawicz
,
Cesar Munoz
and
Aaron Dutle
In
:
Automated Formal Methods
SMT-Based CPS Parameter Synthesis
Heinz Riener
,
Robert Koenighofer
,
Goerschwin Fey
and
Roderick Bloem
In
:
ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
Chains of Integrators as a Benchmark for Scalability of Hybrid Control Synthesis
Scott Livingston
and
Vasumathi Raman
In
:
ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
formalSpec - Semi-Automatic Formalization of System Requirements for Formal Verification
Axel Busboom
,
Simone Schuler
and
Alexander Walsch
In
:
ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
Automated Verification of Equivalence on Quantum Cryptographic Protocols
Takahiro Kubota
,
Yoshihiko Kakutani
,
Go Kato
,
Yasuhito Kawano
and
Hideki Sakurada
In
:
SCSS 2013. 5th International Symposium on Symbolic Computation in Software Science
Formal Requirements Capturing using VRS system
Alexander Letichevsky
,
Alexander Kolchin
,
Oleksandr Letychevskyi
,
Stepan Potiyenko
,
Vlad Volkov
and
Thomas Weigert
In
:
WING 2010. Workshop on Invariant Generation 2010
Copyright © 2012-2021 easychair.org. All rights reserved.