Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs
IEEE Transactions on Software Engineering - Special issue: best papers of the 1996 international symposium on software testing and analysis ISSTA'96
Finding symmetries of algebraic system nets
Fundamenta Informaticae - Special issue on Petri nets
Bandera: extracting finite-state models from Java source code
Proceedings of the 22nd international conference on Software engineering
An open graph visualization system and its applications to software engineering
Software—Practice & Experience - Special issue on discrete algorithm engineering
Fundamenta Informaticae - Special issue on Concurrency specification and programming (CS&P)
Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Simple on-the-fly automatic verification of linear temporal logic
Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets
Proceedings of the International Sympoisum on Semantics of Concurrent Computation
Emma: Developing an Industrial Reachability Analyser for SDL
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Model Checking of Safety Properties
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Optimising Enabling Tests and Unfoldings of Algebraic System Nets
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Incremental State Space Construction for Coloured Petri Nets
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Efficiently verifying safety properties with idle office computers
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
Implementing Coloured Petri Nets Using a Functional Programming Language
Higher-Order and Symbolic Computation
Model-based development of dynamically adaptive software
Proceedings of the 28th international conference on Software engineering
Algorithm of Translation of MSC-specified System into Petri Net
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Model checking safety properties in modular high-level nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Automatic formal model generation and analysis of SDL
SDL'03 Proceedings of the 11th international conference on System design
Modeling multi-valued genetic regulatory networks using high-level petri nets
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
High level petri nets analysis with helena
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Algorithm of Translation of MSC-specified System into Petri Net
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
| Hi-index | 0.00 |
Maria performs simulation, exhaustive reachability analysis and on-the-fly LTL model checking of high-level Petri nets with fairness constraints. The algebra contains powerful built-in data types and operations. Models can be exported to low-level Petri nets and labelled transition systems. Translator programs allow Maria to analyse transition systems as well as distributed computer programs written in procedural or object-oriented languages, or high-level specifications such as SDL. Maria has been implemented in portable C and C++, and it is freely available under the conditions of the GNU General Public License.