SosY-Lab.org
Title
Dirk Beyer: Home Page
Description
Excerpted from the website:
- Simon Fraser University is one of the top-ranked comprehensive universities in Canada, and serves more than 18,000 students. The School of Computing Science currently has approximately 200 Ph.D. and M.Sc. students, 800 undergraduate majors, and 54 faculty members, across two campuses in Greater Vancouver. The Burnaby campus is situated on Burnaby Mountain, while the newer Surrey campus is situated 25 minutes away in an award-winning architectural complex south of the Fraser River. Vancouver thrives as a scenic waterfront city located just minutes away from the mountains and a wide range of outdoor activities. Vancouver's cultural and intellectual pursuits, leisure opportunities, favourable climate, and clean and safe environment are consistently cited as quality of life factors that make it one of the most desirable places in the world to live and work.
Additional Information
Related Domains
External Links
Categories:
- Software Model Checking
- Web Services
- Web Service Interfaces
- Relation
- Relational Computation
- SQL
- Relational Database
- Relational Calculator
- BDD Package
- Efficient Analysis
- Software Engineering
- Software Specification
- Formal Methods
- Verification
- Formal Verification
- BDD
- Binary Decision Diagram
- Real Time System
- Real-time System
- Reactive System
- Hybrid System
- Hybrid Automata
- Timed Automata
- Model Checking
- Modular Verification
- Verification Tool
- Model Checking Tool
- BDD-based
- Reachability Analysis
- Protocol Verification
- Decision Diagrams
- Clock Difference Diagrams
- Real-time Verification
- Embedded Systems
- Rabbit Tool
- Cottbus Timed Automata
- Flattening
- CrocoPat Tool
- Discretization
- Real-time Systems
- Continuous Systems
- Efficient Data Structures
- Variable Order
- Variable Ordering
- Fischer Protocol
- CSMA
- CD Protocol
- FDDI Token Ring Protocol
- Refinement Checking
- BDD-based Verification
- Modular
- Modularity
- Software Quality
- Program Comprehension
- Program Analysis
- Software Analysis
- Design Analysis
- Pattern Analysis
- Object Oriented Programs
- Pattern Recognition