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

Computer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings / by CAV Conference (19th : 2007 : Berlin, Germany), Damm, Werner, Hermanns, Holger

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

2014 CAV award announcement by Kwiatkowska, M, Vardi, M, Bouajjani, A, Ball, T

“…The 2014 CAV (Computer-Aided Verification) Award was presented on July 19, 2014, at the 26th annual CAV conference in Vienna to Patrice Godefroid, Doron Peled, Antti Valmari, and Pierre Wolper for the development of partial-order-reduction algorithms for efficient state-space exploration of concurrent systems.…”

Smoothing a program soundly and robustly by Chaudhuri, Swarat, Solar-Lezama, Armando

Get full text
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

Euler: A System for Numerical Optimization of Programs by Chaudhuri, Swarat, Solar-Lezama, Armando

Get full text
Get full text

Automated formal synthesis of digital controllers for state-space physical plants by Abate, A, Bessa, I, Cattaruzza, D, Cordeiro, L, David, C, Kesseli, P, Kroening, D, Polgreen, E

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. …”

Formal Verification of Hardware Synthesis by Braibant, Thomas, Chlipala, Adam

Get full text
Get full text

SPT: Storyboard Programming Tool by Singh, Rishabh, Solar-Lezama, Armando

Get full text
Get full text

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

Trigger Selection Strategies to Stabilize Program Verifiers by Leino, K. Rustan M., Pit-Claudel, Clement F.

Get full text
Get full text

Trigger Selection Strategies to Stabilize Program Verifiers by Leino, K. Rustan M., Pit-Claudel, Clément

Get full text
Get full text

Adaptive Concretization for Parallel Program Synthesis by Jeon, Jinseong, Foster, Jeffrey S., Qiu, Xiaokang, Solar Lezama, Armando

Get full text
Get full text
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. …”