Computer-Aided Verification of P/NP Proofs: A Survey and Discussion by Stefan Rass, Max-Julian Jakobitsch, Stefan Haan, Moritz Hiebler

Get full text

An Environmentally-Friendly Three-Dimensional Computer-Aided Verification Technique for Plastic Parts by Chil-Chyuan Kuo, Zong-Yan He, Chil-Xian Lee

Subjects: “…non-contact computer-aided verification…”
Get full text

Program Sketching by Automatically Generating Mocks from Tests by Bragg, Nate FF, Foster, Jeffrey S, Roux, Cody, Solar-Lezama, Armando

Get full text

Modular Deductive Verification of Multiprocessor Hardware Designs by Vijayaraghavan, Muralidaran, Chlipala, Adam, Arvind, Arvind, Nirav, Dave

Get full text

Improved Algorithms for Parity and Streett objectives by Krishnendu Chatterjee, Monika Henzinger, Veronika Loitzenbauer

“…The computation of the winning set for parity objectives and for Streett objectives in graphs as well as in game graphs are central problems in computer-aided verification, with application to the verification of closed systems with strong fairness conditions, the verification of open systems, checking interface compatibility, well-formedness of specifications, and the synthesis of reactive systems. …”
Get full text

Revivals, stuckness and the hierarchy of CSP models by Roscoe, A

“…Rehof, Stuck-free conformance, Proceedings CAV 04, 16th International Conference on Computer Aided Verification, Boston, USA, July 2004.]. This is the stable revivals model R alluded to in Reed et al (2007, FAC, 19, 3). …”

Context-aware counter abstraction. by Basler, G, Mazzucchi, M, Wahl, T, Kroening, D

“…The trend towards multi-core computing has made concurrent software an important target of computer-aided verification. Unfortunately, Model Checkers for such software suffer tremendously from combinatorial state space explosion. …”

Cellular fluid shear stress on implant surfaces—establishment of a novel experimental set up by P. W. Kämmerer, D. G. E. Thiem, A. Alshihri, G. H. Wittstock, R. Bader, B. Al-Nawas, M. O. Klein

“…Methods As FSS effects on osteoblasts are detectable at 10 dyn/cm2, a custom-made flow chamber was created. Computer-aided verification of circulation processes was performed. …”
Get full text

Machine learning for function synthesis by Parsert, J

“…These types of synthesis problems find many applications in the field of computer-aided verification. One of the main challenges of function synthesis arises from the combinatorial explosion in the number of potential candidates within a certain size. …”