Searching for "Computer Aided Verification" – sorted by Relevance.
382 documents found, showing 1 through 10.
Next 10 →
-
Computer-aided verification
- …Program Verification Robert P. Kurshan How can a computer program developer ensure that a program…
- Cited by 93 (3 self) – Add To MetaCart
-
Computer-Aided Verification of Software Process Model Properties
- …Computer-Aided Verification of Software Process Model Properties ? Alfred Brockers 1 and Volker…
- Cited by 3 (0 self) – Add To MetaCart
-
Efficient Computer-Aided Verification of Parallel and Distributed Software Systems
- … EFFICIENT COMPUTER-AIDED VERIFICATION OF PARALLEL AND DISTRIBUTED SOFTWARE SYSTEMS Marko Makela AB…
- Cited by 1 (0 self) – Add To MetaCart
-
Computer Aided Verification of Lamport's Fast Mutual Exclusion Algorithm Using Coloured Petri Nets
- …Computer Aided Verification of Lamport's Fast Mutual Exclusion Algorithm Using Coloured Petri Nets…
- Cited by 2 (1 self) – Add To MetaCart
-
Mechanically Verifying Safety and Liveness Properties of Delay Insensitive Circuits. Computer Aided
- …. Goldschlag Technical Report 66 March, 1991 Computational Logic Inc. 1717 W. 6th St. Suite 290 Austin, Texas…
- Cited by 3 (0 self) – Add To MetaCart
-
Wolf—bug hunter for concurrent software using formal methods, in: Computer Aided Verification
- …-button” bug hunter, that is, it does not require intervention by the user. Unlike with hardware verification…
- Cited by 1 (0 self) – Add To MetaCart
-
Model Checking Continuous Time Markov Chains
- … is an expanded and revised version of an eponymous paper presented by the authors at the Computer-Aided…
- Cited by 36 (0 self) – Add To MetaCart
-
A Discrete Strategy Improvement Algorithm for Solving Parity Games (Extended Abstract)
- … checkers, which is a major objective in computer aided verification. The other motivation…
- Add To MetaCart
-
Timing Diagrams: Formalization and Algorithmic Verification
- …, such as computer-aided verification. These efforts have largely treated timing diagrams as interfaces…
- Cited by 8 (4 self) – Add To MetaCart
-
Model Checking and Refinement of ASM Models Using SMV
- …-Workbench and its extention ASM-SMV, which supports computer-aided verification by model checking. The results…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
