Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Application of constraints to formal verification and artificial intelligence

Application of constraints to formal verification and artificial intelligence Ann Math Artif Intell (2014) 70:313–314 DOI 10.1007/s10472-014-9412-z Application of constraints to formal verification and artificial intelligence Miroslav N. Velev · John Franco Published online: 28 April 2014 © Springer International Publishing Switzerland 2014 We are excited to present the AMAI special issue on Application of Constraints to Formal Verification and Artificial Intelligence. The issue contains three papers: In the first paper, entitled Establishing Flight Software Reliability: Testing, Model Checking, Constraint-Solving, Monitoring and Learning, Alex Groce from Oregon State University, Klaus Havelund, Gerard Holzmann, and Rajeev Joshi from the NASA Jet Propulsion Laboratory (JPL), and Ru-Gang Xu from the University of California at Los Angeles discuss the application of a range of techniques to the verification of mission- critical flight software at JPL. They present insights on the combination of random testing, model checking, constraint-solving, monitoring, and finite-state machine learning, in addi- tion to static code analysis for the efficient verification of properties of a flash file system and other software for space missions. In the second paper, entitled Polynomial Function Intervals for Floating-Point Software Verification, Jan Duracz from Halmstad University in Sweden and Michal Konecny from Aston University in the U.K. present a new method for verification of http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Annals of Mathematics and Artificial Intelligence Springer Journals

Application of constraints to formal verification and artificial intelligence

Loading next page...
 
/lp/springer-journals/application-of-constraints-to-formal-verification-and-artificial-D70L2AolXg

References (0)

References for this paper are not available at this time. We will be adding them shortly, thank you for your patience.

Publisher
Springer Journals
Copyright
Copyright © 2014 by Springer International Publishing Switzerland
Subject
Computer Science; Artificial Intelligence (incl. Robotics); Mathematics, general; Computer Science, general; Statistical Physics, Dynamical Systems and Complexity
ISSN
1012-2443
eISSN
1573-7470
DOI
10.1007/s10472-014-9412-z
Publisher site
See Article on Publisher Site

Abstract

Ann Math Artif Intell (2014) 70:313–314 DOI 10.1007/s10472-014-9412-z Application of constraints to formal verification and artificial intelligence Miroslav N. Velev · John Franco Published online: 28 April 2014 © Springer International Publishing Switzerland 2014 We are excited to present the AMAI special issue on Application of Constraints to Formal Verification and Artificial Intelligence. The issue contains three papers: In the first paper, entitled Establishing Flight Software Reliability: Testing, Model Checking, Constraint-Solving, Monitoring and Learning, Alex Groce from Oregon State University, Klaus Havelund, Gerard Holzmann, and Rajeev Joshi from the NASA Jet Propulsion Laboratory (JPL), and Ru-Gang Xu from the University of California at Los Angeles discuss the application of a range of techniques to the verification of mission- critical flight software at JPL. They present insights on the combination of random testing, model checking, constraint-solving, monitoring, and finite-state machine learning, in addi- tion to static code analysis for the efficient verification of properties of a flash file system and other software for space missions. In the second paper, entitled Polynomial Function Intervals for Floating-Point Software Verification, Jan Duracz from Halmstad University in Sweden and Michal Konecny from Aston University in the U.K. present a new method for verification of

Journal

Annals of Mathematics and Artificial IntelligenceSpringer Journals

Published: Apr 28, 2014

There are no references for this article.