Amanote Research
Register
Sign In
Rapid Property Specification and Checking for Model-Based Formalisms
doi 10.1109/rsp.2011.5929985
Full Text
Open PDF
Abstract
Available in
full text
Date
May 1, 2011
Authors
Daniel Balasubramanian
Gabor Pap
Harmon Nine
Gabor Karsai
Michael Lowry
Corina Pasareanu
Tom Pressburger
Publisher
IEEE
Related search
Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Property-Driven Fence Insertion Using Reorder Bounded Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Ontology Based Semantics Checking for UML Activity Model
Information Technology Journal
Model Based Requirements Specification and Validation for Component Architectures
Combining CSP and B for Specification and Property Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
UVHM: Model Checking Based Formal Analysis Scheme for Hypervisors
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Property Specification Patterns for Finite-State Verification
Property Checking via Structural Analysis
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Underapproximation for Model-Checking Based on Random Cryptographic Constructions
