Bogor
From MaRDI portal
Software:18927
No author found.
Related Items (27)
Model checking dynamic memory allocation in operating systems ⋮ Exploiting object escape and locking information in partial-order reductions for concurrent object-oriented programs ⋮ Tools and Algorithms for the Construction and Analysis of Systems ⋮ Tools and Algorithms for the Construction and Analysis of Systems ⋮ CONCUR 2004 - Concurrency Theory ⋮ Model Checking Software ⋮ Computer Aided Verification ⋮ Dynamically Evolvable Dependable Software: From Oxymoron to Reality ⋮ TASS: the toolkit for accurate scientific software ⋮ Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning ⋮ A dynamic logic for deductive verification of multi-threaded programs ⋮ Efficient SAT-based bounded model checking for software verification ⋮ Unnamed Item ⋮ Automated Technology for Verification and Analysis ⋮ Using source transformation to test and model check implicit-invocation systems ⋮ Extracting Zing Models from C Source Code ⋮ A Graph Transformation-Based Approach to Formal Modeling and Verification of Workflows ⋮ Tools and Algorithms for the Construction and Analysis of Systems ⋮ Galoan: A multi-agent approach to herd cows ⋮ Model Checking Software ⋮ Tools and Algorithms for the Construction and Analysis of Systems ⋮ Computer Aided Verification ⋮ Computer Aided Verification ⋮ Computer Aided Verification ⋮ Towards automated software model checking using graph transformation systems and bogor ⋮ Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems ⋮ Verifying time partitioning in the DEOS scheduling kernel
This page was built for software: Bogor
