Verification column
Abstract
- Verification column
Recommendations
Verification column
The technical column on verification presents an invited contribution by César A. Muñoz, Aaron Dutle, Anthony Narkawicz, and Jason Upchurch at NASA Langley Research Center titled Unmanned Aircraft Systems in the National Airspace System: A Formal ...
Verification column
The growing popularity of verification competitions such as VerifyThis Verification Competition and the Competition on Software Verification (SV-COMP), both, incentivize as well as reward tool developers. VerifyThis 2016 was held in Eindhoven colocated ...
Verification column
The technical column on verification presents an invited contribution by Dr. Franco Raimondi (Department of Computer Science in Middlesex University, London) titled "Using multi-agent systems to go beyond temporal patterns verification" in the April ...
Comments
Information & Contributors
Information
Published In

Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Qualifiers
- Research-article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0