Skip to search formSkip to main contentSkip to account menu

Computer Aided Verification

Known as: CAV 
Computer Aided Verification (CAV) is an annual academic conference on the theory and practice of computer aided formal analysis of software and… 
Wikipedia (opens in a new tab)

Related topics

Related topics

5 relations
Assaf SchusterFederated Logic ConferenceList of computer science conferencesModel checking

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Robust Eco-Driving Control of Autonomous Vehicles Connected to Traffic Lights
This paper focuses on the speed planning problem for connected and automated vehicles (CAVs) communicating to traffic lights. The… 
2015
2015
A cloud infrastructure for target detection and tracking using audio and video fusion
This paper presents a Cloud-based architecture for detecting and tracking multiple moving targets from airborne videos combined… 
2011
2011
Compositionality Entails Sequentializability
We show that any concurrent program that is amenable to compositional reasoning can be effectively translated to a sequential… 
2010
2010
Investigation of co-infection of ALV-J with REV, MDV, CAV in layer chicken flocks in some regions of China
To investigate the co-infection status of avian leukaemia viruses (ALV) in layer flocks in China, 184 samples were collected from… 
Review
2002
Review
2002
Gratiana boliviana, a potential biocontrol agent of Solanum viarum: Quarantine host-specificity testing in Florida and field surveys in South America
Host-specificity tests andfield surveys were conducted to determine thesuitability of the tortoise beetleGratiana boliviana… 
2002
2002
A curve-theorem based approach for change detection and its application to Yellow River Delta
A curve-theorem based approach is proposed and is used to handle NDVI data. The curve-theorem based approach includes a general… 
2000
2000
Propriedades físicas de um cambissolo húmico álico afetadas pelo manejo do solo
A degradacao fisica do solo e um dos principais processos responsaveis pelo aumento da erosao hidrica. Os preparos convencionais… 
1996
1996
Adaptive-speed algorithms for CD-ROM systems
The paper describes a couple of algorithms which can be used to adaptively control the spindle motor of a CD-ROM drive so that… 
1995
1995
CAVEAT: Technique and Tool for Computer Aided VErification And Transformation
We describe caveat, a technique and a tool (under development) for the stepwise design and verification of nearly finite-state… 
1993
1993
A practical technique for bounding the time between events in concurrent real-time systems
Showing that concurrent systems satisfy timing constraints on their behavior is difficult, but may be essential for critical… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)