Keyword:formal methods

Publications
The oLJ13_N13IC Cluster Is the Global Minimum Cluster of Lennard Jones' Potential for 13 Particles Carlos Barron-Romero EasyChair Preprint 9385
A Model Checking Based Business Process for Monitoring Company's Strategies Hanane Ouaar and Mahmoud Boufaida EasyChair Preprint 8720
Cracking the Stateful Nut -- Computational Proofs of Stateful Security Protocols Using the Squirrel Proof Assistant David Baelde, Stephanie Delaune, Adrien Koutsos and Solène Moreau EasyChair Preprint 8631
Formalization of Transform Methods in Higher-Order Logic: a Survey Muhammad Ahmed and Adnan Rashid EasyChair Preprint 8009
Machine-Assisted Reformulation for MiniZinc Huu-Phuc Vo EasyChair Preprint 1731
Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing between Black-Box Components Robin Adams and Sibylle Schupp EasyChair Preprint 425
Saturating Sorting without Sorts Pamina Georgiou, Marton Hajdu and Laura Kovács In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
ARCH-COMP23 Repeatability Evaluation Report Taylor T Johnson In:Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Marcelo Forets, Elena Ivanova, Yangge Li, Sayan Mitra, Stefan Mitsch, Christian Schilling, Mark Wetzlinger and Daniel Zhuang In:Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)
ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants Diego Manzanas Lopez, Matthias Althoff, Luis Benet, Xin Chen, Jiameng Fan, Marcelo Forets, Chao Huang, Taylor T Johnson, Tobias Ladner, Wenchao Li, Christian Schilling and Qi Zhu In:Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)
ARCH-COMP21 Repeatability Evaluation Report Taylor T. Johnson In:8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)
The MINERVA Software Development Process Anthony Narkawicz, Cesar Munoz and Aaron Dutle In:Automated Formal Methods
More Automated Formal Methods?! If so, why, where & how? Arun Chakrapani Rao In:Automated Formal Methods
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
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
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
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 Letychevskyy jr., Stepan Potiyenko, Vlad Volkov and Thomas Weigert In:WING 2010. Workshop on Invariant Generation 2010