SCTL-MUS

MaRDI QIDQ14789swMATHFDO

Official website http://rd.springer.com/article/10.1007/PL00003939

Described by source

• SCTL-MUS: A formal methodology for software development of distributed systems. A case study

Cited in

(4)

• Data structures for symbolic multi-valued model-checking
• Extending timed automaton and real-time logic to many-valued reasoning
• Integrated Formal Methods
• A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications

This page was built for software: SCTL-MUS